Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,417 workflow run results
4,417 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: drop BitVec over constant value rewrites (#544) tools, scaling, and auto-generated statements #1302: Commit 5ac5ca2 pushed by github-merge-queue bot
August 17, 2024 07:19 15m 19s main
main
August 17, 2024 07:19 15m 19s
chore: drop BitVec over constant value rewrites (#544) core library #3099: Commit 5ac5ca2 pushed by github-merge-queue bot
August 17, 2024 07:19 8m 47s main
main
August 17, 2024 07:19 8m 47s
core library core library #3098: Merge group checks requested
August 17, 2024 07:09 9m 0s
August 17, 2024 07:09 9m 0s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #1301: Merge group checks requested
August 17, 2024 07:09 15m 43s
August 17, 2024 07:09 15m 43s
chore: move Nat theorems into namespace in ForLean (#543) core library #3097: Commit c8d9ead pushed by github-merge-queue bot
August 17, 2024 06:41 8m 37s main
main
August 17, 2024 06:41 8m 37s
chore: move Nat theorems into namespace in ForLean (#543) tools, scaling, and auto-generated statements #1300: Commit c8d9ead pushed by github-merge-queue bot
August 17, 2024 06:41 15m 40s main
main
August 17, 2024 06:41 15m 40s
chore: drop BitVec over constant value rewrites tools, scaling, and auto-generated statements #1299: Pull request #544 opened by tobiasgrosser
August 17, 2024 06:35 16m 3s chore__drop_bitvec_over_constant_values
chore__drop_bitvec_over_constant_values
August 17, 2024 06:35 16m 3s
chore: drop BitVec over constant value rewrites core library #3096: Pull request #544 opened by tobiasgrosser
August 17, 2024 06:35 9m 1s chore__drop_bitvec_over_constant_values
chore__drop_bitvec_over_constant_values
August 17, 2024 06:35 9m 1s
chore: drop BitVec theorem already in lean (#542) tools, scaling, and auto-generated statements #1298: Commit b31d3b8 pushed by github-merge-queue bot
August 17, 2024 06:35 15m 29s main
main
August 17, 2024 06:35 15m 29s
chore: drop BitVec theorem already in lean (#542) core library #3095: Commit b31d3b8 pushed by github-merge-queue bot
August 17, 2024 06:35 8m 43s main
main
August 17, 2024 06:35 8m 43s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #1297: Merge group checks requested
August 17, 2024 06:33 15m 34s
August 17, 2024 06:33 15m 34s
core library core library #3094: Merge group checks requested
August 17, 2024 06:33 8m 42s
August 17, 2024 06:33 8m 42s
core library core library #3093: Merge group checks requested
August 17, 2024 06:26 8m 47s
August 17, 2024 06:26 8m 47s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #1296: Merge group checks requested
August 17, 2024 06:26 15m 23s
August 17, 2024 06:26 15m 23s
chore: move Nat theorems into namespace in ForLean tools, scaling, and auto-generated statements #1295: Pull request #543 opened by tobiasgrosser
August 17, 2024 06:24 15m 56s move_nat_theorems
move_nat_theorems
August 17, 2024 06:24 15m 56s
chore: move Nat theorems into namespace in ForLean core library #3092: Pull request #543 opened by tobiasgrosser
August 17, 2024 06:24 8m 49s move_nat_theorems
move_nat_theorems
August 17, 2024 06:24 8m 49s
chore: drop BitVec theorem already in lean core library #3091: Pull request #542 opened by tobiasgrosser
August 17, 2024 06:16 8m 52s drop_bitvec_theorems_already_in_lean
drop_bitvec_theorems_already_in_lean
August 17, 2024 06:16 8m 52s
chore: drop BitVec theorem already in lean tools, scaling, and auto-generated statements #1294: Pull request #542 opened by tobiasgrosser
August 17, 2024 06:16 15m 47s drop_bitvec_theorems_already_in_lean
drop_bitvec_theorems_already_in_lean
August 17, 2024 06:16 15m 47s
chore: update to 2024-08-16 (#541) tools, scaling, and auto-generated statements #1293: Commit 8e46c38 pushed by github-merge-queue bot
August 17, 2024 05:44 14m 54s main
main
August 17, 2024 05:44 14m 54s
chore: update to 2024-08-16 (#541) core library #3090: Commit 8e46c38 pushed by github-merge-queue bot
August 17, 2024 05:44 9m 7s main
main
August 17, 2024 05:44 9m 7s
core library core library #3089: Merge group checks requested
August 17, 2024 05:34 9m 8s
August 17, 2024 05:34 9m 8s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #1292: Merge group checks requested
August 17, 2024 05:34 15m 58s
August 17, 2024 05:34 15m 58s
chore: update to 2024-08-16 core library #3088: Pull request #541 synchronize by tobiasgrosser
August 17, 2024 05:25 9m 1s nightly-2024-08-16
nightly-2024-08-16
August 17, 2024 05:25 9m 1s
chore: update to 2024-08-16 tools, scaling, and auto-generated statements #1291: Pull request #541 synchronize by tobiasgrosser
August 17, 2024 05:25 15m 24s nightly-2024-08-16
nightly-2024-08-16
August 17, 2024 05:25 15m 24s
chore: update to 2024-08-16 tools, scaling, and auto-generated statements #1290: Pull request #541 synchronize by tobiasgrosser
August 17, 2024 05:11 15m 37s nightly-2024-08-16
nightly-2024-08-16
August 17, 2024 05:11 15m 37s