Skip to content

Actions: rems-project/sail

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
772 workflow runs
772 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add coverage off annotations to type environment
Build matrix #297: Commit 12f0f37 pushed by Alasdair
December 1, 2023 00:13 13m 1s tyenv_coverage
December 1, 2023 00:13 13m 1s
Suggest most similar function id when we can't find a function type
Build matrix #296: Commit 6764ad3 pushed by Alasdair
December 1, 2023 00:11 15m 42s sail2
December 1, 2023 00:11 15m 42s
Suggest most similar function id when we can't find a function type
Build matrix #295: Commit 524332f pushed by Alasdair
November 30, 2023 23:26 12m 35s osa_tyerror
November 30, 2023 23:26 12m 35s
Suggest most similar function id when we can't find a function type
Build matrix #294: Commit be1e2be pushed by Alasdair
November 30, 2023 23:08 16m 24s osa_tyerror
November 30, 2023 23:08 16m 24s
Suggest most similar function id when we can't find a function type
Build matrix #293: Commit 464751b pushed by Alasdair
November 30, 2023 23:06 16m 56s osa_tyerror
November 30, 2023 23:06 16m 56s
Make module identifiers a private type
Build matrix #292: Commit 818a7b9 pushed by Alasdair
November 30, 2023 22:10 18m 10s sail2
November 30, 2023 22:10 18m 10s
Make module identifiers a private type
Build matrix #291: Commit 2329b8c pushed by Alasdair
November 30, 2023 15:00 15m 26s project
November 30, 2023 15:00 15m 26s
Allow recursive functions without val specs
Build matrix #290: Commit afee308 pushed by Alasdair
November 29, 2023 23:36 20m 47s project
November 29, 2023 23:36 20m 47s
Modules: Change naming
Build matrix #289: Commit f86e138 pushed by Alasdair
November 29, 2023 14:44 16m 45s project
November 29, 2023 14:44 16m 45s
Update Asciidoc build Makefile
Build matrix #288: Commit 5a64afc pushed by Alasdair
November 29, 2023 00:37 15m 27s project
November 29, 2023 00:37 15m 27s
Add empty action function to Target
Build matrix #287: Commit 1144c85 pushed by Alasdair
November 28, 2023 17:31 13m 55s sail2
November 28, 2023 17:31 13m 55s
Add some more module tests
Build matrix #286: Commit 830bbf7 pushed by Alasdair
November 26, 2023 22:52 15m 10s project
November 26, 2023 22:52 15m 10s
Add some more module tests
Build matrix #285: Commit 2e1782d pushed by Alasdair
November 26, 2023 22:51 10m 56s project
November 26, 2023 22:51 10m 56s
Skip typechecking tests with CVC4 if there is no CVC4
Build matrix #284: Commit de3d7db pushed by Alasdair
November 26, 2023 22:47 15m 32s sail2
November 26, 2023 22:47 15m 32s
Skip typechecking tests with CVC4 if there is no CVC4
Build matrix #283: Commit 412a999 pushed by Alasdair
November 26, 2023 21:48 12m 12s test_cvc4
November 26, 2023 21:48 12m 12s
Further module improvements
Build matrix #282: Commit f8aff20 pushed by Alasdair
November 26, 2023 18:37 13m 27s project
November 26, 2023 18:37 13m 27s
Add module system and project files
Build matrix #281: Commit 8802efc pushed by Alasdair
November 24, 2023 22:13 16m 32s project
November 24, 2023 22:13 16m 32s
Improve options display
Build matrix #280: Commit 6bb5200 pushed by Alasdair
November 23, 2023 16:03 12m 58s sail2
November 23, 2023 16:03 12m 58s
Improve options display
Build matrix #279: Commit 20dff34 pushed by Alasdair
November 23, 2023 15:40 14m 53s improve_options
November 23, 2023 15:40 14m 53s
Improve options display
Build matrix #278: Commit fb9f381 pushed by Alasdair
November 23, 2023 15:37 16m 16s improve_options
November 23, 2023 15:37 16m 16s
Add access control mechanism to typing contexts
Build matrix #277: Commit 938921d pushed by Alasdair
November 21, 2023 19:51 12m 55s sail2
November 21, 2023 19:51 12m 55s
Add access control mechanism to typing contexts
Build matrix #276: Commit 8484749 pushed by Alasdair
November 21, 2023 19:24 14m 35s tyenv_scope
November 21, 2023 19:24 14m 35s
Add access control mechanism to typing contexts
Build matrix #275: Commit 8bd357c pushed by Alasdair
November 21, 2023 17:52 3m 19s tyenv_scope
November 21, 2023 17:52 3m 19s
Remove base effects from Lexer and Parser
Build matrix #274: Commit 13cbea3 pushed by Alasdair
November 21, 2023 16:53 16m 34s sail2
November 21, 2023 16:53 16m 34s
Remove base effects from Lexer and Parser
Build matrix #273: Commit fc9133f pushed by Alasdair
November 21, 2023 16:32 17m 52s no_base_effects
November 21, 2023 16:32 17m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-11-21 or the other filters available.