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: automata: prove worklistRun tools, scaling, and auto-generated statements #2743: Pull request #865 synchronize by ineol
November 20, 2024 16:26 1m 53s auto_worklistRun
auto_worklistRun
November 20, 2024 16:26 1m 53s
chore: automata: prove worklistRun tools, scaling, and auto-generated statements #2742: Pull request #865 synchronize by ineol
November 20, 2024 14:42 7m 28s auto_worklistRun
auto_worklistRun
November 20, 2024 14:42 7m 28s
chore: automata: prove worklistRun core library #4539: Pull request #865 synchronize by ineol
November 20, 2024 14:42 4m 7s auto_worklistRun
auto_worklistRun
November 20, 2024 14:42 4m 7s
chore: automata: prove worklistRun tools, scaling, and auto-generated statements #2741: Pull request #865 synchronize by ineol
November 19, 2024 17:58 7m 50s auto_worklistRun
auto_worklistRun
November 19, 2024 17:58 7m 50s
chore: automata: prove worklistRun core library #4538: Pull request #865 synchronize by ineol
November 19, 2024 17:58 4m 12s auto_worklistRun
auto_worklistRun
November 19, 2024 17:58 4m 12s
chore: automata: prove worklistRun tools, scaling, and auto-generated statements #2740: Pull request #865 synchronize by ineol
November 19, 2024 17:51 1m 57s auto_worklistRun
auto_worklistRun
November 19, 2024 17:51 1m 57s
chore: automata: prove worklistRun core library #4537: Pull request #865 synchronize by ineol
November 19, 2024 17:51 1m 49s auto_worklistRun
auto_worklistRun
November 19, 2024 17:51 1m 49s
chore: automata: prove worklistRun core library #4536: Pull request #865 synchronize by ineol
November 19, 2024 16:55 4m 6s auto_worklistRun
auto_worklistRun
November 19, 2024 16:55 4m 6s
chore: automata: prove worklistRun tools, scaling, and auto-generated statements #2739: Pull request #865 synchronize by ineol
November 19, 2024 16:55 7m 40s auto_worklistRun
auto_worklistRun
November 19, 2024 16:55 7m 40s
chore: update Mathlib nightly-testing-2024-11-19 (#863) core library #4535: Commit e347a53 pushed by github-merge-queue bot
November 19, 2024 15:37 10m 39s main
main
November 19, 2024 15:37 10m 39s
chore: update Mathlib nightly-testing-2024-11-19 (#863) tools, scaling, and auto-generated statements #2738: Commit e347a53 pushed by github-merge-queue bot
November 19, 2024 15:37 28m 31s main
main
November 19, 2024 15:37 28m 31s
core library core library #4534: Merge group checks requested
November 19, 2024 15:26 10m 42s
November 19, 2024 15:26 10m 42s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2737: Merge group checks requested
November 19, 2024 15:26 30m 36s
November 19, 2024 15:26 30m 36s
chore: update Mathlib nightly-testing-2024-11-19 tools, scaling, and auto-generated statements #2736: Pull request #863 synchronize by ineol
November 19, 2024 15:18 7m 22s update-mathlib-zucca
update-mathlib-zucca
November 19, 2024 15:18 7m 22s
chore: update Mathlib nightly-testing-2024-11-19 core library #4533: Pull request #863 synchronize by ineol
November 19, 2024 15:18 3m 55s update-mathlib-zucca
update-mathlib-zucca
November 19, 2024 15:18 3m 55s
chore: automata: prove worklistRun core library #4532: Pull request #865 opened by ineol
November 19, 2024 15:02 1m 20s auto_worklistRun
auto_worklistRun
November 19, 2024 15:02 1m 20s
chore: automata: prove worklistRun tools, scaling, and auto-generated statements #2735: Pull request #865 opened by ineol
November 19, 2024 15:02 1m 35s auto_worklistRun
auto_worklistRun
November 19, 2024 15:02 1m 35s
chore: speedup proof of automata (#864) core library #4531: Commit 1caa1f7 pushed by github-merge-queue bot
November 19, 2024 14:13 4m 3s main
main
November 19, 2024 14:13 4m 3s
chore: speedup proof of automata (#864) tools, scaling, and auto-generated statements #2734: Commit 1caa1f7 pushed by github-merge-queue bot
November 19, 2024 14:13 7m 36s main
main
November 19, 2024 14:13 7m 36s
core library core library #4530: Merge group checks requested
November 19, 2024 14:09 4m 0s
November 19, 2024 14:09 4m 0s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2733: Merge group checks requested
November 19, 2024 14:09 7m 46s
November 19, 2024 14:09 7m 46s
chore: update Mathlib nightly-testing-2024-11-19 core library #4529: Pull request #863 synchronize by luisacicolini
November 19, 2024 13:47 56s update-mathlib-zucca
update-mathlib-zucca
November 19, 2024 13:47 56s
chore: update Mathlib nightly-testing-2024-11-19 tools, scaling, and auto-generated statements #2732: Pull request #863 synchronize by luisacicolini
November 19, 2024 13:47 29m 49s update-mathlib-zucca
update-mathlib-zucca
November 19, 2024 13:47 29m 49s
chore: speedup proof of automata core library #4528: Pull request #864 synchronize by ineol
November 19, 2024 13:46 4m 9s auto_speedup
auto_speedup
November 19, 2024 13:46 4m 9s
chore: speedup proof of automata tools, scaling, and auto-generated statements #2731: Pull request #864 synchronize by ineol
November 19, 2024 13:46 7m 27s auto_speedup
auto_speedup
November 19, 2024 13:46 7m 27s