Skip to content

Actions: opencompl/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: update to nightly 2025-08-02 Check formatting #79: Commit 553e84e pushed by tobiasgrosser
5m 22s lean-nightly-2025-08-02
lean-nightly-2025-08-02
5m 22s
Lean: update to nightly 2025-08-02 Build matrix #70: Commit 553e84e pushed by tobiasgrosser
10m 58s lean-nightly-2025-08-02
lean-nightly-2025-08-02
10m 58s
update lean to include new code generator Build matrix #69: Commit 8f1dd79 pushed by tobiasgrosser
9m 55s new_codegen_post_merge
new_codegen_post_merge
9m 55s
update lean to include new code generator Check formatting #78: Commit 8f1dd79 pushed by tobiasgrosser
5m 1s new_codegen_post_merge
new_codegen_post_merge
5m 1s
Drop lean version prefix in the specified lean toolchain Build matrix #68: Commit 56c1ae1 pushed by tobiasgrosser
10m 49s lean_fix_codegen
lean_fix_codegen
10m 49s
Drop lean version prefix in the specified lean toolchain Check formatting #77: Commit 56c1ae1 pushed by tobiasgrosser
5m 33s lean_fix_codegen
lean_fix_codegen
5m 33s
chore: use Lean's new code generator Build matrix #67: Commit 76db68a pushed by tobiasgrosser
10m 16s lean_new_codegen
lean_new_codegen
10m 16s
chore: use Lean's new code generator Check formatting #76: Commit 76db68a pushed by tobiasgrosser
5m 22s lean_new_codegen
lean_new_codegen
5m 22s
Lean: disable 'enums' support in match_bv's use of bv_decide Check formatting #75: Commit cf2fe0c pushed by tobiasgrosser
5m 27s opencompl_match_bv_enums
opencompl_match_bv_enums
5m 27s
Lean: disable 'enums' support in match_bv's use of bv_decide Build matrix #66: Commit cf2fe0c pushed by tobiasgrosser
10m 16s opencompl_match_bv_enums
opencompl_match_bv_enums
10m 16s
Add comment Check formatting #74: Commit 4421904 pushed by ineol
41s matchbv
matchbv
41s
Add comment Build matrix #65: Commit 4421904 pushed by ineol
7m 9s matchbv
matchbv
7m 9s
Merge Check formatting #73: Commit 855aff6 pushed by ineol
36s matchbv
matchbv
36s
Merge Build matrix #64: Commit 855aff6 pushed by ineol
7m 12s matchbv
matchbv
7m 12s
Update tests Check formatting #72: Commit c888091 pushed by ineol
44s matchbv
matchbv
44s
Update tests Build matrix #63: Commit c888091 pushed by ineol
7m 21s matchbv
matchbv
7m 21s
Merge Build matrix #62: Commit d563e32 pushed by ineol
7m 13s matchbv
matchbv
7m 13s
Merge Check formatting #71: Commit d563e32 pushed by ineol
1m 42s matchbv
matchbv
1m 42s
Enable bvmatch on non-runnable tests Build matrix #61: Commit 49587fe pushed by ineol
7m 24s matchbv
matchbv
7m 24s
Enable bvmatch on non-runnable tests Check formatting #70: Commit 49587fe pushed by ineol
37s matchbv
matchbv
37s
Enable bvmatch on non-runnable tests Build matrix #60: Commit 2b9663a pushed by ineol
7m 23s matchbv
matchbv
7m 23s
Enable bvmatch on non-runnable tests Check formatting #69: Commit 2b9663a pushed by ineol
45s matchbv
matchbv
45s
Remove stray files Check formatting #68: Commit 4dab0b5 pushed by ineol
45s matchbv
matchbv
45s
Remove stray files Build matrix #59: Commit 4dab0b5 pushed by ineol
7m 23s matchbv
matchbv
7m 23s
Remove stray files Check formatting #67: Commit 66d0518 pushed by ineol
2m 25s matchbv
matchbv
2m 25s