Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,525 workflow runs
4,525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo (#740) Check formatting #1362: Commit ea270cd pushed by Alasdair
October 11, 2024 11:40 43s sail2
sail2
October 11, 2024 11:40 43s
Fix typo (#740) Test coverage #1415: Commit ea270cd pushed by Alasdair
October 11, 2024 11:40 14m 9s sail2
sail2
October 11, 2024 11:40 14m 9s
Publish test results Publish test results #1388: completed by yuzibo
October 11, 2024 11:29 20s
October 11, 2024 11:29 20s
Fix typo Check formatting #1361: Pull request #740 opened by yuzibo
October 11, 2024 11:03 49s yuzibo:fix-typo
yuzibo:fix-typo
October 11, 2024 11:03 49s
Fix typo Test coverage #1414: Pull request #740 opened by yuzibo
October 11, 2024 11:03 14m 37s yuzibo:fix-typo
yuzibo:fix-typo
October 11, 2024 11:03 14m 37s
Publish test results Publish test results #1387: completed by Alasdair
October 9, 2024 16:16 17s
October 9, 2024 16:16 17s
Enforce that bitvectors have non-negative indices always (#723) Build matrix #821: Commit e7148e2 pushed by Alasdair
October 9, 2024 16:01 14m 19s sail2
sail2
October 9, 2024 16:01 14m 19s
Enforce that bitvectors have non-negative indices always (#723) Test coverage #1413: Commit e7148e2 pushed by Alasdair
October 9, 2024 16:01 14m 28s sail2
sail2
October 9, 2024 16:01 14m 28s
Enforce that bitvectors have non-negative indices always (#723) Check formatting #1360: Commit e7148e2 pushed by Alasdair
October 9, 2024 16:01 31s sail2
sail2
October 9, 2024 16:01 31s
Publish test results Publish test results #1386: completed by Alasdair
October 8, 2024 12:37 22s
October 8, 2024 12:37 22s
Add lazy API to type-checker (#738) Test coverage #1412: Commit f69418a pushed by Alasdair
October 8, 2024 12:25 12m 40s sail2
sail2
October 8, 2024 12:25 12m 40s
Add lazy API to type-checker (#738) Check formatting #1359: Commit f69418a pushed by Alasdair
October 8, 2024 12:25 55s sail2
sail2
October 8, 2024 12:25 55s
Add lazy API to type-checker (#738) Build matrix #820: Commit f69418a pushed by Alasdair
October 8, 2024 12:25 12m 18s sail2
sail2
October 8, 2024 12:25 12m 18s
Publish test results Publish test results #1385: completed by Alasdair
October 8, 2024 11:51 28s
October 8, 2024 11:51 28s
Publish test results Publish test results #1384: completed by Alasdair
October 8, 2024 11:43 23s
October 8, 2024 11:43 23s
Publish test results Publish test results #1383: completed by Alasdair
October 8, 2024 11:40 17s
October 8, 2024 11:40 17s
Add lazy API to type-checker Check formatting #1358: Pull request #738 opened by Alasdair
October 8, 2024 11:39 31s lazy_tc_api
lazy_tc_api
October 8, 2024 11:39 31s
Add lazy API to type-checker Test coverage #1411: Pull request #738 opened by Alasdair
October 8, 2024 11:39 12m 42s lazy_tc_api
lazy_tc_api
October 8, 2024 11:39 12m 42s
Add lazy API to type-checker Build matrix #819: Commit a2039dc pushed by Alasdair
October 8, 2024 11:30 11m 18s lazy_tc_api
lazy_tc_api
October 8, 2024 11:30 11m 18s
Add lazy API to type-checker Test coverage #1410: Commit a2039dc pushed by Alasdair
October 8, 2024 11:30 12m 41s lazy_tc_api
lazy_tc_api
October 8, 2024 11:30 12m 41s
Add lazy API to type-checker Check formatting #1357: Commit a2039dc pushed by Alasdair
October 8, 2024 11:30 41s lazy_tc_api
lazy_tc_api
October 8, 2024 11:30 41s
Add lazy API to type-checker Test coverage #1409: Commit ec41a98 pushed by Alasdair
October 8, 2024 11:27 12m 50s lazy_tc_api
lazy_tc_api
October 8, 2024 11:27 12m 50s
Add lazy API to type-checker Build matrix #818: Commit ec41a98 pushed by Alasdair
October 8, 2024 11:27 11m 36s lazy_tc_api
lazy_tc_api
October 8, 2024 11:27 11m 36s
Add lazy API to type-checker Check formatting #1356: Commit ec41a98 pushed by Alasdair
October 8, 2024 11:27 44s lazy_tc_api
lazy_tc_api
October 8, 2024 11:27 44s
Add JSON Backend Check formatting #1355: Pull request #736 opened by wxrdnx
October 7, 2024 18:38 Action required wxrdnx:json
wxrdnx:json
October 7, 2024 18:38 Action required