Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,922 workflow runs
6,922 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

llvm: add BitVec.mul_add to bv_normalize tools, scaling, and auto-generated statements #2495: Pull request #806 opened by tobiasgrosser
November 8, 2024 03:37 7m 2s mul_add_normalize
mul_add_normalize
November 8, 2024 03:37 7m 2s
llvm: add BitVec.mul_add to bv_normalize core library #4292: Pull request #806 opened by tobiasgrosser
November 8, 2024 03:37 3m 49s mul_add_normalize
mul_add_normalize
November 8, 2024 03:37 3m 49s
chore: fold even if there is no splitting happening (#804) core library #4291: Commit c1c67ff pushed by github-merge-queue bot
November 8, 2024 03:03 2m 26s main
main
November 8, 2024 03:03 2m 26s
chore: fold even if there is no splitting happening (#804) tools, scaling, and auto-generated statements #2494: Commit c1c67ff pushed by github-merge-queue bot
November 8, 2024 03:03 5m 32s main
main
November 8, 2024 03:03 5m 32s
core library core library #4290: Merge group checks requested
November 8, 2024 03:00 1m 59s
November 8, 2024 03:00 1m 59s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2493: Merge group checks requested
November 8, 2024 03:00 5m 26s
November 8, 2024 03:00 5m 26s
chore: fold even if there is no splitting happening core library #4289: Pull request #804 opened by tobiasgrosser
November 8, 2024 02:49 2m 6s fold_no_splitting
fold_no_splitting
November 8, 2024 02:49 2m 6s
chore: fold even if there is no splitting happening tools, scaling, and auto-generated statements #2492: Pull request #804 opened by tobiasgrosser
November 8, 2024 02:49 5m 30s fold_no_splitting
fold_no_splitting
November 8, 2024 02:49 5m 30s
chore: fold a bit more after splitting the theorem (#803) tools, scaling, and auto-generated statements #2491: Commit 8d06e0f pushed by github-merge-queue bot
November 8, 2024 02:37 5m 44s main
main
November 8, 2024 02:37 5m 44s
chore: fold a bit more after splitting the theorem (#803) core library #4288: Commit 8d06e0f pushed by github-merge-queue bot
November 8, 2024 02:37 2m 6s main
main
November 8, 2024 02:37 2m 6s
core library core library #4287: Merge group checks requested
November 8, 2024 02:34 2m 6s
November 8, 2024 02:34 2m 6s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2490: Merge group checks requested
November 8, 2024 02:34 5m 42s
November 8, 2024 02:34 5m 42s
chore: fold a bit more after splitting the theorem core library #4286: Pull request #803 opened by tobiasgrosser
November 8, 2024 02:32 2m 18s fold_after_splitting
fold_after_splitting
November 8, 2024 02:32 2m 18s
chore: fold a bit more after splitting the theorem tools, scaling, and auto-generated statements #2489: Pull request #803 opened by tobiasgrosser
November 8, 2024 02:32 5m 25s fold_after_splitting
fold_after_splitting
November 8, 2024 02:32 5m 25s
chore: update numbers (#801) core library #4285: Commit bd23305 pushed by github-merge-queue bot
November 7, 2024 23:42 1m 23s main
main
November 7, 2024 23:42 1m 23s
chore: update numbers (#801) tools, scaling, and auto-generated statements #2488: Commit bd23305 pushed by github-merge-queue bot
November 7, 2024 23:42 4m 43s main
main
November 7, 2024 23:42 4m 43s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2487: Merge group checks requested
November 7, 2024 23:40 4m 26s
November 7, 2024 23:40 4m 26s
core library core library #4284: Merge group checks requested
November 7, 2024 23:40 53s
November 7, 2024 23:40 53s
chore: update numbers core library #4283: Pull request #801 opened by tobiasgrosser
November 7, 2024 23:35 55s nightly-2024-11-07-numbers
nightly-2024-11-07-numbers
November 7, 2024 23:35 55s
chore: update numbers tools, scaling, and auto-generated statements #2486: Pull request #801 opened by tobiasgrosser
November 7, 2024 23:35 23m 3s nightly-2024-11-07-numbers
nightly-2024-11-07-numbers
November 7, 2024 23:35 23m 3s
chore: update to nightly-2024-11-07 (#800) tools, scaling, and auto-generated statements #2485: Commit 98e991e pushed by github-merge-queue bot
November 7, 2024 23:17 22m 41s main
main
November 7, 2024 23:17 22m 41s
chore: update to nightly-2024-11-07 (#800) core library #4282: Commit 98e991e pushed by github-merge-queue bot
November 7, 2024 23:17 10m 25s main
main
November 7, 2024 23:17 10m 25s
core library core library #4281: Merge group checks requested
November 7, 2024 23:07 10m 16s
November 7, 2024 23:07 10m 16s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2484: Merge group checks requested
November 7, 2024 23:07 22m 18s
November 7, 2024 23:07 22m 18s
Updated script (#799) tools, scaling, and auto-generated statements #2483: Commit e644261 pushed by github-merge-queue bot
November 7, 2024 23:02 4m 46s main
main
November 7, 2024 23:02 4m 46s