Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,361 workflow runs
7,361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload test coverage Upload test coverage #394: completed by javra
March 25, 2025 11:03 3m 47s
March 25, 2025 11:03 3m 47s
Publish test results Publish test results #2517: completed by javra
March 25, 2025 11:03 20s
March 25, 2025 11:03 20s
Lean: implement and annotate count_leading_zeros and count_trailing_zeros Check formatting #2714: Pull request #1187 opened by javra
March 25, 2025 10:38 40s javra:lean/countTrailingZeros
javra:lean/countTrailingZeros
March 25, 2025 10:38 40s
Lean: implement and annotate count_leading_zeros and count_trailing_zeros Test matrix #395: Pull request #1187 opened by javra
March 25, 2025 10:38 24m 44s javra:lean/countTrailingZeros
javra:lean/countTrailingZeros
March 25, 2025 10:38 24m 44s
add global kid->id renames Build matrix #1311: Commit ca6092e pushed by Alasdair
March 24, 2025 15:04 8m 2s sail2
sail2
March 24, 2025 15:04 8m 2s
add global kid->id renames Check formatting #2713: Commit ca6092e pushed by Alasdair
March 24, 2025 15:04 1m 37s sail2
sail2
March 24, 2025 15:04 1m 37s
Interface: Allow int and bool-kinded instantiations Build matrix #1310: Commit a88aafe pushed by Alasdair
March 24, 2025 14:43 7m 16s sail2
sail2
March 24, 2025 14:43 7m 16s
Interface: Allow int and bool-kinded instantiations Check formatting #2712: Commit a88aafe pushed by Alasdair
March 24, 2025 14:43 37s sail2
sail2
March 24, 2025 14:43 37s
Upload test coverage Upload test coverage #393: completed by Alasdair
March 24, 2025 14:25 3m 33s
March 24, 2025 14:25 3m 33s
Publish test results Publish test results #2516: completed by Alasdair
March 24, 2025 14:25 23s
March 24, 2025 14:25 23s
Interface: Allow int and bool-kinded instantiations Test matrix #394: Pull request #1186 opened by Alasdair
March 24, 2025 14:01 23m 37s interface_inst_fix
interface_inst_fix
March 24, 2025 14:01 23m 37s
Interface: Allow int and bool-kinded instantiations Check formatting #2711: Pull request #1186 opened by Alasdair
March 24, 2025 14:01 40s interface_inst_fix
interface_inst_fix
March 24, 2025 14:01 40s
Interface: Allow int and bool-kinded instantiations Check formatting #2710: Commit 8ba1648 pushed by Alasdair
March 24, 2025 14:01 1m 29s interface_inst_fix
interface_inst_fix
March 24, 2025 14:01 1m 29s
Interface: Allow int and bool-kinded instantiations Build matrix #1309: Commit 8ba1648 pushed by Alasdair
March 24, 2025 14:01 7m 18s interface_inst_fix
interface_inst_fix
March 24, 2025 14:01 7m 18s
Interface: Use kind-inference for outcome variables Build matrix #1308: Commit 91dd878 pushed by Alasdair
March 21, 2025 17:01 7m 18s sail2
sail2
March 21, 2025 17:01 7m 18s
Interface: Use kind-inference for outcome variables Check formatting #2709: Commit 91dd878 pushed by Alasdair
March 21, 2025 17:01 43s sail2
sail2
March 21, 2025 17:01 43s
Publish test results Publish test results #2515: completed by Alasdair
March 21, 2025 16:42 20s
March 21, 2025 16:42 20s
Upload test coverage Upload test coverage #392: completed by Alasdair
March 21, 2025 16:42 3m 33s
March 21, 2025 16:42 3m 33s
Interface: Use kind-inference for outcome variables Check formatting #2708: Pull request #1185 opened by Alasdair
March 21, 2025 16:19 34s outvar_infer
outvar_infer
March 21, 2025 16:19 34s
Interface: Use kind-inference for outcome variables Test matrix #393: Pull request #1185 opened by Alasdair
March 21, 2025 16:19 22m 45s outvar_infer
outvar_infer
March 21, 2025 16:19 22m 45s
Interface: Use kind-inference for outcome variables Build matrix #1307: Commit 77a8671 pushed by Alasdair
March 21, 2025 16:19 7m 13s outvar_infer
outvar_infer
March 21, 2025 16:19 7m 13s
Interface: Use kind-inference for outcome variables Check formatting #2707: Commit 77a8671 pushed by Alasdair
March 21, 2025 16:19 44s outvar_infer
outvar_infer
March 21, 2025 16:19 44s
Upload test coverage Upload test coverage #391: completed by javra
March 21, 2025 12:47 3m 32s
March 21, 2025 12:47 3m 32s
Publish test results Publish test results #2514: completed by javra
March 21, 2025 12:47 22s
March 21, 2025 12:47 22s
Lean: add global kid->id renames Check formatting #2706: Pull request #1184 opened by javra
March 21, 2025 12:23 42s javra:lean/toplevelTyvar
javra:lean/toplevelTyvar
March 21, 2025 12:23 42s