Skip to content

Actions: opencompl/lean-mlir

Actions

Evaluation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
evaluation.yml
2,288 workflow runs
2,288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

2025-07-30 lean nightly update Evaluation #2343: Pull request #1483 opened by tobiasgrosser
July 31, 2025 01:08 40m 46s auto-mathlib-update-2025-07-30
auto-mathlib-update-2025-07-30
July 31, 2025 01:08 40m 46s
2025-07-28 lean nightly update Evaluation #2342: Pull request #1477 synchronize by tobiasgrosser
July 30, 2025 16:52 35m 38s auto-mathlib-update-2025-07-28
auto-mathlib-update-2025-07-28
July 30, 2025 16:52 35m 38s
2025-07-29 lean nightly update Evaluation #2341: Pull request #1478 synchronize by tobiasgrosser
July 30, 2025 16:51 1h 16m 29s auto-mathlib-update-2025-07-29
auto-mathlib-update-2025-07-29
July 30, 2025 16:51 1h 16m 29s
2025-07-27 lean nightly update Evaluation #2340: Pull request #1476 synchronize by tobiasgrosser
July 30, 2025 16:51 19m 59s auto-mathlib-update-2025-07-27
auto-mathlib-update-2025-07-27
July 30, 2025 16:51 19m 59s
feat: ctxt append API Evaluation #2339: Pull request #1482 opened by alexkeizer
July 30, 2025 16:34 1h 14m 55s context-append-api
context-append-api
July 30, 2025 16:34 1h 14m 55s
chore: Ctxt API cleanup (#1481) Evaluation #2338: Commit 192862b pushed by github-merge-queue bot
July 30, 2025 16:32 23m 14s main
main
July 30, 2025 16:32 23m 14s
chore: Ctxt API cleanup Evaluation #2337: Pull request #1481 opened by alexkeizer
July 30, 2025 16:32 1h 10m 35s ctxt-api-cleanup
ctxt-api-cleanup
July 30, 2025 16:32 1h 10m 35s
chore: derive DecidableEq for Ctxt (#1480) Evaluation #2336: Commit 76c3088 pushed by github-merge-queue bot
July 30, 2025 16:21 11m 32s main
main
July 30, 2025 16:21 11m 32s
chore: derive DecidableEq for Ctxt Evaluation #2335: Pull request #1480 opened by alexkeizer
July 30, 2025 16:20 19m 9s ctxt-decidable-eq
ctxt-decidable-eq
July 30, 2025 16:20 19m 9s
2025-07-27 lean nightly update Evaluation #2334: Pull request #1476 synchronize by tobiasgrosser
July 29, 2025 16:53 51m 44s auto-mathlib-update-2025-07-27
auto-mathlib-update-2025-07-27
July 29, 2025 16:53 51m 44s
2025-07-29 lean nightly update Evaluation #2333: Pull request #1478 synchronize by tobiasgrosser
July 29, 2025 16:53 33m 6s auto-mathlib-update-2025-07-29
auto-mathlib-update-2025-07-29
July 29, 2025 16:53 33m 6s
2025-07-28 lean nightly update Evaluation #2332: Pull request #1477 synchronize by tobiasgrosser
July 29, 2025 16:52 19m 1s auto-mathlib-update-2025-07-28
auto-mathlib-update-2025-07-28
July 29, 2025 16:52 19m 1s
[Generalizer] Performance Tuning (#1479) Evaluation #2331: Commit 4433a6a pushed by github-merge-queue bot
July 29, 2025 16:15 14m 34s main
main
July 29, 2025 16:15 14m 34s
[Generalizer] Performance Tuning Evaluation #2330: Pull request #1479 synchronize by oluwatimilehin
July 29, 2025 11:03 14m 48s performance-tuning
performance-tuning
July 29, 2025 11:03 14m 48s
[Generalizer] Performance Tuning Evaluation #2329: Pull request #1479 opened by oluwatimilehin
July 29, 2025 10:57 6m 26s performance-tuning
performance-tuning
July 29, 2025 10:57 6m 26s
2025-07-29 lean nightly update Evaluation #2328: Pull request #1478 opened by tobiasgrosser
July 29, 2025 09:51 20m 0s auto-mathlib-update-2025-07-29
auto-mathlib-update-2025-07-29
July 29, 2025 09:51 20m 0s
2025-07-27 lean nightly update Evaluation #2327: Pull request #1476 synchronize by tobiasgrosser
July 28, 2025 14:51 37m 23s auto-mathlib-update-2025-07-27
auto-mathlib-update-2025-07-27
July 28, 2025 14:51 37m 23s
2025-07-28 lean nightly update Evaluation #2326: Pull request #1477 synchronize by tobiasgrosser
July 28, 2025 14:51 21m 36s auto-mathlib-update-2025-07-28
auto-mathlib-update-2025-07-28
July 28, 2025 14:51 21m 36s
refactor: change matchVar to work in a Monad (#1471) Evaluation #2325: Commit 02b0084 pushed by github-merge-queue bot
July 28, 2025 14:00 42m 4s main
main
July 28, 2025 14:00 42m 4s
refactor: change matchVar to work in a Monad Evaluation #2324: Pull request #1471 synchronize by alexkeizer
July 28, 2025 13:58 58m 4s refactor-monadic-match
refactor-monadic-match
July 28, 2025 13:58 58m 4s
2025-07-27 lean nightly update Evaluation #2323: Pull request #1476 synchronize by tobiasgrosser
July 28, 2025 13:56 31m 23s auto-mathlib-update-2025-07-27
auto-mathlib-update-2025-07-27
July 28, 2025 13:56 31m 23s
2025-07-28 lean nightly update Evaluation #2322: Pull request #1477 synchronize by tobiasgrosser
July 28, 2025 13:56 15m 49s auto-mathlib-update-2025-07-28
auto-mathlib-update-2025-07-28
July 28, 2025 13:56 15m 49s
fix: make ::ₕ notation right-associative (#1475) Evaluation #2321: Commit 7dc6ee5 pushed by github-merge-queue bot
July 28, 2025 13:02 33m 33s main
main
July 28, 2025 13:02 33m 33s
refactor: extract peephole rewriter (#1470) Evaluation #2320: Commit 0e2cbf6 pushed by github-merge-queue bot
July 28, 2025 13:02 19s main
main
July 28, 2025 13:02 19s
refactor: extract peephole rewriter Evaluation #2319: Pull request #1470 synchronize by alexkeizer
July 28, 2025 13:00 16m 14s refactor-split-framework-file
refactor-split-framework-file
July 28, 2025 13:00 16m 14s