Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4,151 workflow runs
4,151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to nightly-testing-2024-11-22 core library #4550: Pull request #867 opened by tobiasgrosser
November 23, 2024 04:37 10m 56s nightly-2024-11-22
nightly-2024-11-22
November 23, 2024 04:37 10m 56s
chore: automata: prove worklistRun (#865) core library #4549: Commit a24f277 pushed by github-merge-queue bot
November 22, 2024 14:03 4m 26s main
main
November 22, 2024 14:03 4m 26s
core library core library #4548: Merge group checks requested
November 22, 2024 13:58 4m 29s
November 22, 2024 13:58 4m 29s
chore: automata: prove worklistRun core library #4547: Pull request #865 synchronize by ineol
November 22, 2024 11:20 4m 22s auto_worklistRun
auto_worklistRun
November 22, 2024 11:20 4m 22s
chore: update mathlib nightly 2024-11-21 (#866) core library #4546: Commit 64ad96f pushed by github-merge-queue bot
November 22, 2024 10:42 10m 34s main
main
November 22, 2024 10:42 10m 34s
core library core library #4545: Merge group checks requested
November 22, 2024 10:30 10m 56s
November 22, 2024 10:30 10m 56s
chore: update mathlib nightly 2024-11-21 core library #4544: Pull request #866 synchronize by ineol
November 22, 2024 09:59 10m 49s update-mathlib-banana
update-mathlib-banana
November 22, 2024 09:59 10m 49s
chore: update mathlib nightly 2024-11-21 core library #4543: Pull request #866 opened by luisacicolini
November 21, 2024 19:31 3m 52s update-mathlib-banana
update-mathlib-banana
November 21, 2024 19:31 3m 52s
chore: automata: prove worklistRun core library #4542: Pull request #865 synchronize by ineol
November 21, 2024 14:49 2m 4s auto_worklistRun
auto_worklistRun
November 21, 2024 14:49 2m 4s
chore: automata: prove worklistRun core library #4541: Pull request #865 synchronize by ineol
November 21, 2024 14:03 2m 6s auto_worklistRun
auto_worklistRun
November 21, 2024 14:03 2m 6s
chore: automata: prove worklistRun core library #4540: Pull request #865 synchronize by ineol
November 20, 2024 16:26 1m 39s auto_worklistRun
auto_worklistRun
November 20, 2024 16:26 1m 39s
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 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 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: 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
core library core library #4534: Merge group checks requested
November 19, 2024 15:26 10m 42s
November 19, 2024 15:26 10m 42s
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: 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
core library core library #4530: Merge group checks requested
November 19, 2024 14:09 4m 0s
November 19, 2024 14:09 4m 0s
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: 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 core library #4527: Pull request #864 opened by ineol
November 19, 2024 13:40 1m 15s auto_speedup
auto_speedup
November 19, 2024 13:40 1m 15s
chore: update Mathlib nightly-testing-2024-11-19 core library #4526: Pull request #863 synchronize by luisacicolini
November 19, 2024 13:17 11m 47s update-mathlib-zucca
update-mathlib-zucca
November 19, 2024 13:17 11m 47s