Skip to content

Actions: simonspies/mica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
672 workflow runs
672 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Unification based typing (#161) CI #672: Commit e86cd7e pushed by simonspies
5m 44s main
main
5m 44s
Unification based typing CI #671: Pull request #161 opened by simonspies
5m 59s unification-based-typing
unification-based-typing
5m 59s
Delete the subtyping elaborator and everything only it needed: the ca… CI #670: Commit 02d71e2 pushed by simonspies
5m 53s unification-based-typing
unification-based-typing
5m 53s
Annotate injections (#160) CI #669: Commit 9142708 pushed by simonspies
5m 51s main
main
5m 51s
Annotate injections CI #668: Pull request #160 opened by simonspies
5m 23s annotate-injections
annotate-injections
5m 23s
Carry the type name a constructor was declared under from the fronten… CI #667: Commit eaad11a pushed by simonspies
5m 38s annotate-injections
annotate-injections
5m 38s
Factor out type variables (#159) CI #666: Commit 3ff6f2c pushed by simonspies
12m 54s main
main
12m 54s
Factor out type variables CI #665: Pull request #159 synchronize by simonspies
2m 44s factor-out-type-variables
factor-out-type-variables
2m 44s
update tests CI #664: Commit 8856524 pushed by simonspies
3m 49s factor-out-type-variables
factor-out-type-variables
3m 49s
Factor out type variables CI #663: Pull request #159 opened by simonspies
5m 58s factor-out-type-variables
factor-out-type-variables
5m 58s
outline CI #662: Commit 5dbe35b pushed by simonspies
5m 53s factor-out-type-variables
factor-out-type-variables
5m 53s
Parameterize the typed IR by the type variables its annotations admit… CI #661: Commit 1eb1625 pushed by simonspies
6m 6s factor-out-type-variables
factor-out-type-variables
6m 6s
Rewrite the parser (#158) CI #660: Commit 37adbb5 pushed by simonspies
3m 31s main
main
3m 31s
Rewrite the parser CI #659: Pull request #158 opened by simonspies
3m 6s improve-parser
improve-parser
3m 6s
minor fixes CI #658: Commit 83ec9c9 pushed by simonspies
3m 54s improve-parser
improve-parser
3m 54s
Fill in dropped annotations and unaccounted attributes in the fronten… CI #657: Commit bc5d90d pushed by simonspies
2m 58s main
main
2m 58s
Fill in dropped annotations and unaccounted attributes in the frontend CI #656: Pull request #157 opened by simonspies
3m 52s increase-testing
increase-testing
3m 52s
Give attribute names a variant type CI #655: Commit 1dd2219 pushed by simonspies
3m 2s increase-testing
increase-testing
3m 2s
Accept a specification in a data declaration's payloads. (#153) CI #654: Commit f7f9eba pushed by simonspies
13m 3s main
main
13m 3s
Carry a let expression's type annotation through to elaboration. (#154) CI #653: Commit 11135c2 pushed by simonspies
13m 20s main
main
13m 20s
Carry a let expression's type annotation through to elaboration CI #652: Pull request #154 opened by simonspies
13m 58s let-annotation
let-annotation
13m 58s
Carry a let expression's type annotation through to elaboration, whic… CI #651: Commit 762bf77 pushed by simonspies
13m 2s let-annotation
let-annotation
13m 2s
Accept a specification in a data declaration's payloads CI #650: Pull request #153 synchronize by simonspies
5m 9s spec-in-type-declarations
spec-in-type-declarations
5m 9s
Accept a specification in a data declaration's payloads, elaborating … CI #649: Commit 5369661 pushed by simonspies
4m 36s spec-in-type-declarations
spec-in-type-declarations
4m 36s
Accept a specification in a data declaration's payloads CI #648: Pull request #153 synchronize by simonspies
4m 50s spec-in-type-declarations
spec-in-type-declarations
4m 50s