Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to nightly-testing-2024-11-14 tools, scaling, and auto-generated statements #2718: Pull request #861 opened by tobiasgrosser
November 16, 2024 07:27 23m 18s nightly-2024-11-14-2
nightly-2024-11-14-2
November 16, 2024 07:27 23m 18s
chore: clean some minor formatting issues (#860) tools, scaling, and auto-generated statements #2717: Commit 0d378e7 pushed by github-merge-queue bot
November 16, 2024 01:38 11m 50s main
main
November 16, 2024 01:38 11m 50s
chore: clean some minor formatting issues (#860) core library #4514: Commit 0d378e7 pushed by github-merge-queue bot
November 16, 2024 01:38 8m 49s main
main
November 16, 2024 01:38 8m 49s
core library core library #4513: Merge group checks requested
November 16, 2024 01:28 8m 51s
November 16, 2024 01:28 8m 51s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2716: Merge group checks requested
November 16, 2024 01:28 12m 23s
November 16, 2024 01:28 12m 23s
chore: clean some minor formatting issues core library #4512: Pull request #860 opened by tobiasgrosser
November 16, 2024 01:20 8m 33s tobias/remove-formatting-issues
tobias/remove-formatting-issues
November 16, 2024 01:20 8m 33s
chore: clean some minor formatting issues tools, scaling, and auto-generated statements #2715: Pull request #860 opened by tobiasgrosser
November 16, 2024 01:20 11m 47s tobias/remove-formatting-issues
tobias/remove-formatting-issues
November 16, 2024 01:20 11m 47s
chore: add TACNAME to get the name of the theorem (#849) core library #4511: Commit 9c41f5e pushed by github-merge-queue bot
November 16, 2024 00:45 8m 48s main
main
November 16, 2024 00:45 8m 48s
chore: add TACNAME to get the name of the theorem (#849) tools, scaling, and auto-generated statements #2714: Commit 9c41f5e pushed by github-merge-queue bot
November 16, 2024 00:45 11m 56s main
main
November 16, 2024 00:45 11m 56s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2713: Merge group checks requested
November 16, 2024 00:36 12m 15s
November 16, 2024 00:36 12m 15s
core library core library #4510: Merge group checks requested
November 16, 2024 00:36 8m 46s
November 16, 2024 00:36 8m 46s
chore: unify bv_auto and bv_bench (#858) core library #4509: Commit def2cfa pushed by github-merge-queue bot
November 15, 2024 05:36 4m 52s main
main
November 15, 2024 05:36 4m 52s
chore: unify bv_auto and bv_bench (#858) tools, scaling, and auto-generated statements #2712: Commit def2cfa pushed by github-merge-queue bot
November 15, 2024 05:36 7m 55s main
main
November 15, 2024 05:36 7m 55s
core library core library #4508: Merge group checks requested
November 15, 2024 05:31 4m 32s
November 15, 2024 05:31 4m 32s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2711: Merge group checks requested
November 15, 2024 05:31 8m 13s
November 15, 2024 05:31 8m 13s
chore: unify bv_auto and bv_bench tools, scaling, and auto-generated statements #2710: Pull request #858 synchronize by tobiasgrosser
November 15, 2024 05:26 7m 50s bv_auto_and_bv_bench
bv_auto_and_bv_bench
November 15, 2024 05:26 7m 50s
chore: unify bv_auto and bv_bench core library #4507: Pull request #858 synchronize by tobiasgrosser
November 15, 2024 05:26 4m 37s bv_auto_and_bv_bench
bv_auto_and_bv_bench
November 15, 2024 05:26 4m 37s
chore: remove cursed file from InstCombineSymbolic (#859) core library #4506: Commit 05e5442 pushed by github-merge-queue bot
November 15, 2024 05:19 5m 1s main
main
November 15, 2024 05:19 5m 1s
chore: remove cursed file from InstCombineSymbolic (#859) tools, scaling, and auto-generated statements #2709: Commit 05e5442 pushed by github-merge-queue bot
November 15, 2024 05:19 8m 30s main
main
November 15, 2024 05:19 8m 30s
core library core library #4505: Merge group checks requested
November 15, 2024 05:14 4m 54s
November 15, 2024 05:14 4m 54s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2708: Merge group checks requested
November 15, 2024 05:14 8m 36s
November 15, 2024 05:14 8m 36s
chore: unify bv_auto and bv_bench core library #4504: Pull request #858 synchronize by tobiasgrosser
November 15, 2024 05:11 4m 26s bv_auto_and_bv_bench
bv_auto_and_bv_bench
November 15, 2024 05:11 4m 26s
chore: unify bv_auto and bv_bench tools, scaling, and auto-generated statements #2707: Pull request #858 synchronize by tobiasgrosser
November 15, 2024 05:11 8m 1s bv_auto_and_bv_bench
bv_auto_and_bv_bench
November 15, 2024 05:11 8m 1s
chore: remove cursed file from InstCombineSymbolic tools, scaling, and auto-generated statements #2706: Pull request #859 opened by luisacicolini
November 15, 2024 05:02 7m 53s sym-llvm-cursed
sym-llvm-cursed
November 15, 2024 05:02 7m 53s
chore: remove cursed file from InstCombineSymbolic core library #4503: Pull request #859 opened by luisacicolini
November 15, 2024 05:02 4m 48s sym-llvm-cursed
sym-llvm-cursed
November 15, 2024 05:02 4m 48s