Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update nightly-testing-2024-12-23 Performance #80: Pull request #908 opened by luisacicolini
December 23, 2024 22:33 15m 25s update-mathlib-snow
update-mathlib-snow
December 23, 2024 22:33 15m 25s
chore: update nightly-testing-2024-12-23 core library #4757: Pull request #908 opened by luisacicolini
December 23, 2024 22:33 1h 15m 28s update-mathlib-snow
update-mathlib-snow
December 23, 2024 22:33 1h 15m 28s
chore: update nightly-testing-2024-12-23 tools, scaling, and auto-generated statements #2960: Pull request #908 opened by luisacicolini
December 23, 2024 22:33 2h 46m 24s update-mathlib-snow
update-mathlib-snow
December 23, 2024 22:33 2h 46m 24s
chore: update to nightly-testing-2024-12-21 Performance #79: Pull request #907 synchronize by tobiasgrosser
December 23, 2024 09:50 15m 46s nightly-testing-2024-12-21
nightly-testing-2024-12-21
December 23, 2024 09:50 15m 46s
chore: update to nightly-testing-2024-12-21 core library #4756: Pull request #907 synchronize by tobiasgrosser
December 23, 2024 09:50 1h 17m 37s nightly-testing-2024-12-21
nightly-testing-2024-12-21
December 23, 2024 09:50 1h 17m 37s
chore: update to nightly-testing-2024-12-21 tools, scaling, and auto-generated statements #2959: Pull request #907 synchronize by tobiasgrosser
December 23, 2024 09:50 3h 44m 45s nightly-testing-2024-12-21
nightly-testing-2024-12-21
December 23, 2024 09:50 3h 44m 45s
chore: update to nightly-testing-2024-12-21 core library #4755: Pull request #907 opened by tobiasgrosser
December 23, 2024 09:26 1h 16m 15s nightly-testing-2024-12-21
nightly-testing-2024-12-21
December 23, 2024 09:26 1h 16m 15s
chore: update to nightly-testing-2024-12-21 tools, scaling, and auto-generated statements #2958: Pull request #907 opened by tobiasgrosser
December 23, 2024 09:26 3h 47m 23s nightly-testing-2024-12-21
nightly-testing-2024-12-21
December 23, 2024 09:26 3h 47m 23s
chore: update to nightly-testing-2024-12-21 Performance #78: Pull request #907 opened by tobiasgrosser
December 23, 2024 09:26 16m 14s nightly-testing-2024-12-21
nightly-testing-2024-12-21
December 23, 2024 09:26 16m 14s
chore: update to nightly-testing-2024-12-20 (#906) Performance #77: Commit 3bbfc4e pushed by github-merge-queue bot
December 23, 2024 04:38 3h 26m 46s main
main
December 23, 2024 04:38 3h 26m 46s
chore: update to nightly-testing-2024-12-20 (#906) tools, scaling, and auto-generated statements #2957: Commit 3bbfc4e pushed by github-merge-queue bot
December 23, 2024 04:38 4h 4m 42s main
main
December 23, 2024 04:38 4h 4m 42s
chore: update to nightly-testing-2024-12-20 (#906) core library #4754: Commit 3bbfc4e pushed by github-merge-queue bot
December 23, 2024 04:38 1h 22m 57s main
main
December 23, 2024 04:38 1h 22m 57s
core library core library #4753: Merge group checks requested
December 23, 2024 04:36 50s
December 23, 2024 04:36 50s
Performance Performance #76: Merge group checks requested
December 23, 2024 04:36 2h 18m 3s
December 23, 2024 04:36 2h 18m 3s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2956: Merge group checks requested
December 23, 2024 04:36 4h 6m 1s
December 23, 2024 04:36 4h 6m 1s
Performance Performance #75: Merge group checks requested
December 23, 2024 01:06 3h 30m 17s
December 23, 2024 01:06 3h 30m 17s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2955: Merge group checks requested
December 23, 2024 01:06 4h 10m 34s
December 23, 2024 01:06 4h 10m 34s
core library core library #4752: Merge group checks requested
December 23, 2024 01:06 1h 22m 35s
December 23, 2024 01:06 1h 22m 35s
chore: update to nightly-testing-2024-12-20 Performance #74: Pull request #906 opened by tobiasgrosser
December 22, 2024 23:40 6h 5m 52s nightly-testing-2024-12-20
nightly-testing-2024-12-20
December 22, 2024 23:40 6h 5m 52s
chore: update to nightly-testing-2024-12-20 tools, scaling, and auto-generated statements #2954: Pull request #906 opened by tobiasgrosser
December 22, 2024 23:40 4h 7m 38s nightly-testing-2024-12-20
nightly-testing-2024-12-20
December 22, 2024 23:40 4h 7m 38s
chore: update to nightly-testing-2024-12-20 core library #4751: Pull request #906 opened by tobiasgrosser
December 22, 2024 23:40 1h 25m 15s nightly-testing-2024-12-20
nightly-testing-2024-12-20
December 22, 2024 23:40 1h 25m 15s
chore: update to nightly-testing-2024-12-15 (#905) Performance #73: Commit 4313143 pushed by github-merge-queue bot
December 22, 2024 23:35 5h 2m 41s main
main
December 22, 2024 23:35 5h 2m 41s
chore: update to nightly-testing-2024-12-15 (#905) tools, scaling, and auto-generated statements #2953: Commit 4313143 pushed by github-merge-queue bot
December 22, 2024 23:35 30m 58s main
main
December 22, 2024 23:35 30m 58s
chore: update to nightly-testing-2024-12-15 (#905) core library #4750: Commit 4313143 pushed by github-merge-queue bot
December 22, 2024 23:35 11m 25s main
main
December 22, 2024 23:35 11m 25s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #2952: Merge group checks requested
December 22, 2024 23:24 32m 15s
December 22, 2024 23:24 32m 15s