Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,957 workflow runs
8,957 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to nightly-2025-02-01 (#993) Evaluation #186: Commit 9cf22ff pushed by github-merge-queue bot
February 1, 2025 20:42 1h 49m 21s main
main
February 1, 2025 20:42 1h 49m 21s
chore: update to nightly-2025-02-01 (#993) core library #5229: Commit 9cf22ff pushed by github-merge-queue bot
February 1, 2025 20:42 50m 18s main
main
February 1, 2025 20:42 50m 18s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3431: Merge group checks requested
February 1, 2025 19:51 35m 43s
February 1, 2025 19:51 35m 43s
core library core library #5228: Merge group checks requested
February 1, 2025 19:51 50m 5s
February 1, 2025 19:51 50m 5s
chore: update to nightly-2025-02-01 tools, scaling, and auto-generated statements #3430: Pull request #993 opened by tobiasgrosser
February 1, 2025 19:01 36m 7s nightly-2025-02-01
nightly-2025-02-01
February 1, 2025 19:01 36m 7s
chore: update to nightly-2025-02-01 Evaluation #185: Pull request #993 opened by tobiasgrosser
February 1, 2025 19:01 1h 45m 38s nightly-2025-02-01
nightly-2025-02-01
February 1, 2025 19:01 1h 45m 38s
chore: update to nightly-2025-02-01 core library #5227: Pull request #993 opened by tobiasgrosser
February 1, 2025 19:01 50m 20s nightly-2025-02-01
nightly-2025-02-01
February 1, 2025 19:01 50m 20s
chore: update nightly-testing-2025-01-30 (#992) tools, scaling, and auto-generated statements #3429: Commit aa5efa4 pushed by github-merge-queue bot
January 31, 2025 18:43 35m 36s main
main
January 31, 2025 18:43 35m 36s
chore: update nightly-testing-2025-01-30 (#992) core library #5226: Commit aa5efa4 pushed by github-merge-queue bot
January 31, 2025 18:43 49m 39s main
main
January 31, 2025 18:43 49m 39s
chore: update nightly-testing-2025-01-30 (#992) Evaluation #184: Commit aa5efa4 pushed by github-merge-queue bot
January 31, 2025 18:43 1h 44m 48s main
main
January 31, 2025 18:43 1h 44m 48s
core library core library #5225: Merge group checks requested
January 31, 2025 17:51 50m 50s
January 31, 2025 17:51 50m 50s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3428: Merge group checks requested
January 31, 2025 17:51 35m 41s
January 31, 2025 17:51 35m 41s
chore: update nightly-testing-2025-01-30 Evaluation #183: Pull request #992 synchronize by ineol
January 31, 2025 15:14 1h 43m 30s mathlib-jan-30
mathlib-jan-30
January 31, 2025 15:14 1h 43m 30s
chore: update nightly-testing-2025-01-30 tools, scaling, and auto-generated statements #3427: Pull request #992 synchronize by ineol
January 31, 2025 15:14 19m 49s mathlib-jan-30
mathlib-jan-30
January 31, 2025 15:14 19m 49s
chore: update nightly-testing-2025-01-30 core library #5224: Pull request #992 synchronize by ineol
January 31, 2025 15:14 17m 49s mathlib-jan-30
mathlib-jan-30
January 31, 2025 15:14 17m 49s
chore: update nightly-testing-2025-01-30 core library #5223: Pull request #992 opened by luisacicolini
January 31, 2025 10:03 49m 25s mathlib-jan-30
mathlib-jan-30
January 31, 2025 10:03 49m 25s
chore: update nightly-testing-2025-01-30 tools, scaling, and auto-generated statements #3426: Pull request #992 opened by luisacicolini
January 31, 2025 10:03 36m 4s mathlib-jan-30
mathlib-jan-30
January 31, 2025 10:03 36m 4s
chore: update nightly-testing-2025-01-30 Evaluation #182: Pull request #992 opened by luisacicolini
January 31, 2025 10:03 1h 45m 19s mathlib-jan-30
mathlib-jan-30
January 31, 2025 10:03 1h 45m 19s
feat: add correct k-induction algorithm. (#989) core library #5222: Commit b3377bd pushed by github-merge-queue bot
January 29, 2025 23:47 12m 23s main
main
January 29, 2025 23:47 12m 23s
feat: add correct k-induction algorithm. (#989) Evaluation #181: Commit b3377bd pushed by github-merge-queue bot
January 29, 2025 23:47 1h 43m 25s main
main
January 29, 2025 23:47 1h 43m 25s
feat: add correct k-induction algorithm. (#989) tools, scaling, and auto-generated statements #3425: Commit b3377bd pushed by github-merge-queue bot
January 29, 2025 23:47 13m 45s main
main
January 29, 2025 23:47 13m 45s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3424: Merge group checks requested
January 29, 2025 23:33 13m 59s
January 29, 2025 23:33 13m 59s
core library core library #5221: Merge group checks requested
January 29, 2025 23:33 12m 42s
January 29, 2025 23:33 12m 42s
feat: add correct k-induction algorithm. tools, scaling, and auto-generated statements #3423: Pull request #989 synchronize by bollu
January 29, 2025 23:20 13m 51s k-induction-bench
k-induction-bench
January 29, 2025 23:20 13m 51s
feat: add correct k-induction algorithm. core library #5220: Pull request #989 synchronize by bollu
January 29, 2025 23:20 13m 14s k-induction-bench
k-induction-bench
January 29, 2025 23:20 13m 14s