Skip to content

Actions: rems-project/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
1,618 workflow run results
1,618 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: Fix more tests (#1009) Check formatting #2159: Commit 6ae1f3d pushed by Alasdair
February 14, 2025 15:16 39s sail2
sail2
February 14, 2025 15:16 39s
Lean: Fix more tests Check formatting #2158: Pull request #1009 opened by Alasdair
February 14, 2025 15:02 38s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:02 38s
Lean: Fix more tests Check formatting #2157: Commit 8c1a53c pushed by Alasdair
February 14, 2025 15:01 44s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:01 44s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Check formatting #2156: Commit 2941bd7 pushed by Alasdair
February 14, 2025 14:33 37s sail2
sail2
February 14, 2025 14:33 37s
Lean: Run more tests (#1008) Check formatting #2155: Commit 8797890 pushed by Alasdair
February 14, 2025 14:32 45s sail2
sail2
February 14, 2025 14:32 45s
struct pattern implementation (#1006) Check formatting #2154: Commit fb75c8d pushed by Alasdair
February 14, 2025 14:14 4m 19s sail2
sail2
February 14, 2025 14:14 4m 19s
Lean: Add more tests Check formatting #2153: Pull request #1008 synchronize by Alasdair
February 14, 2025 14:14 4m 30s lean_c_tests
lean_c_tests
February 14, 2025 14:14 4m 30s
Lean: Run more tests Check formatting #2152: Commit 0202ee8 pushed by Alasdair
February 14, 2025 14:14 36s lean_c_tests
lean_c_tests
February 14, 2025 14:14 36s
Lean: Add more tests Check formatting #2151: Pull request #1008 opened by Alasdair
February 14, 2025 14:12 40s lean_c_tests
lean_c_tests
February 14, 2025 14:12 40s
CI: Add monomorphisation tests to CI Check formatting #2150: Commit 8662254 pushed by Alasdair
February 14, 2025 14:12 38s lean_c_tests
lean_c_tests
February 14, 2025 14:12 38s
Lean: fix doc_typdef for abbrev of ranges and bools Check formatting #2149: Pull request #1007 opened by lfrenot
February 14, 2025 13:38 47s lfrenot:fix_TD_abbrev
lfrenot:fix_TD_abbrev
February 14, 2025 13:38 47s
Lean: implement struct patterns Check formatting #2148: Pull request #1006 opened by ineol
February 14, 2025 13:32 51s ineol:lean-struct-pats
ineol:lean-struct-pats
February 14, 2025 13:32 51s
Lean: add support for try/catch (#1004) Check formatting #2147: Commit c2a6b9d pushed by Alasdair
February 14, 2025 13:22 42s sail2
sail2
February 14, 2025 13:22 42s
Lean: add support for try/catch Check formatting #2146: Pull request #1004 synchronize by ineol
February 14, 2025 13:02 1m 15s ineol:lean-try-catch
ineol:lean-try-catch
February 14, 2025 13:02 1m 15s
add more annotation, fix omitted fundefs (#1002) Check formatting #2145: Commit 5342a05 pushed by Alasdair
February 14, 2025 12:33 34s sail2
sail2
February 14, 2025 12:33 34s
Lean: add support for try/catch Check formatting #2144: Pull request #1004 opened by ineol
February 14, 2025 12:29 1m 18s ineol:lean-try-catch
ineol:lean-try-catch
February 14, 2025 12:29 1m 18s
Lean: add more annotation, fix omitted fundefs, activates imports Check formatting #2143: Pull request #1002 synchronize by javra
February 14, 2025 12:20 34s javra:lean/more_annotations
javra:lean/more_annotations
February 14, 2025 12:20 34s
CI: Add monomorphisation tests to CI (#1001) Check formatting #2142: Commit 39ff330 pushed by Alasdair
February 14, 2025 12:20 50s sail2
sail2
February 14, 2025 12:20 50s
Lean: add more annotation, fix omitted fundefs, activates imports Check formatting #2141: Pull request #1002 opened by javra
February 14, 2025 12:11 1m 26s javra:lean/more_annotations
javra:lean/more_annotations
February 14, 2025 12:11 1m 26s
CI: Add monomorphisation tests to CI Check formatting #2140: Pull request #1001 synchronize by Alasdair
February 14, 2025 12:05 37s mono_test_ci
mono_test_ci
February 14, 2025 12:05 37s
CI: Add monomorphisation tests to CI Check formatting #2139: Commit 8662254 pushed by Alasdair
February 14, 2025 12:05 38s mono_test_ci
mono_test_ci
February 14, 2025 12:05 38s
CI: Add monomorphisation tests to CI Check formatting #2138: Pull request #1001 opened by Alasdair
February 14, 2025 11:40 5m 12s mono_test_ci
mono_test_ci
February 14, 2025 11:40 5m 12s
CI: Add monomorphisation tests to CI Check formatting #2137: Commit 8403edd pushed by Alasdair
February 14, 2025 11:40 1m 25s mono_test_ci
mono_test_ci
February 14, 2025 11:40 1m 25s
CI: Add monomorphisation tests to CI Check formatting #2136: Commit dc05ef4 pushed by Alasdair
February 14, 2025 11:39 48s mono_test_ci
mono_test_ci
February 14, 2025 11:39 48s
Lean: Disable match_bv for now since it's breaking the RISC-V model (… Check formatting #2135: Commit bceade0 pushed by Alasdair
February 14, 2025 11:35 38s sail2
sail2
February 14, 2025 11:35 38s