Skip to content

Actions: opencompl/lean-mlir

Actions

Performance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yml
80 workflow runs
80 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 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 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
Performance Performance #76: Merge group checks requested
December 23, 2024 04:36 2h 18m 3s
December 23, 2024 04:36 2h 18m 3s
Performance Performance #75: Merge group checks requested
December 23, 2024 01:06 3h 30m 17s
December 23, 2024 01:06 3h 30m 17s
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-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
Performance Performance #72: Merge group checks requested
December 22, 2024 23:24 4h 58m 48s
December 22, 2024 23:24 4h 58m 48s
chore: update to nightly-testing-2024-12-15 Performance #71: Pull request #905 opened by tobiasgrosser
December 22, 2024 23:12 4h 15m 1s nightly-testing-2024-12-15
nightly-testing-2024-12-15
December 22, 2024 23:12 4h 15m 1s
chore: update to nightly-testing-2024-12-14 (#904) Performance #70: Commit ae35cca pushed by github-merge-queue bot
December 22, 2024 23:11 23m 57s main
main
December 22, 2024 23:11 23m 57s
Performance Performance #69: Merge group checks requested
December 22, 2024 23:00 3h 31m 0s
December 22, 2024 23:00 3h 31m 0s
chore: update to nightly-testing-2024-12-14 Performance #68: Pull request #904 opened by tobiasgrosser
December 22, 2024 22:48 2h 46m 54s nightly-testing-2024-12-14
nightly-testing-2024-12-14
December 22, 2024 22:48 2h 46m 54s
chore: update to nightly-testing-2024-12-13 (#903) Performance #67: Commit b5074b6 pushed by github-merge-queue bot
December 22, 2024 22:44 27m 35s main
main
December 22, 2024 22:44 27m 35s
Performance Performance #66: Merge group checks requested
December 22, 2024 22:32 2h 6m 38s
December 22, 2024 22:32 2h 6m 38s
chore: update to nightly-testing-2024-12-13 Performance #65: Pull request #903 opened by tobiasgrosser
December 22, 2024 22:16 1h 26m 37s nightly-testing-2024-12-13
nightly-testing-2024-12-13
December 22, 2024 22:16 1h 26m 37s
chore: update to nightly-testing-2024-12-12 (#902) Performance #64: Commit 06ac0b7 pushed by github-merge-queue bot
December 22, 2024 20:51 1h 53m 30s main
main
December 22, 2024 20:51 1h 53m 30s
Performance Performance #63: Merge group checks requested
December 22, 2024 20:39 1h 42m 25s
December 22, 2024 20:39 1h 42m 25s
chore: update to nightly-testing-2024-12-12 Performance #62: Pull request #902 opened by tobiasgrosser
December 22, 2024 20:27 57m 56s nightly-testing-2024-12-12
nightly-testing-2024-12-12
December 22, 2024 20:27 57m 56s
feat: prove CNFA.{ofFSM, msbSet} Performance #61: Pull request #901 synchronize by ineol
December 20, 2024 16:38 58m 0s auto-ofFSM
auto-ofFSM
December 20, 2024 16:38 58m 0s
feat: prove CNFA.{ofFSM, msbSet} Performance #60: Pull request #901 opened by ineol
December 20, 2024 13:50 57m 59s auto-ofFSM
auto-ofFSM
December 20, 2024 13:50 57m 59s
feat: prove CNFA.{isEmpty, isUniversal} (#900) Performance #59: Commit bdcedcf pushed by github-merge-queue bot
December 19, 2024 16:33 1h 50m 2s main
main
December 19, 2024 16:33 1h 50m 2s
Performance Performance #58: Merge group checks requested
December 19, 2024 16:28 57m 41s
December 19, 2024 16:28 57m 41s
feat: prove CNFA.{isEmpty, isUniversal} Performance #57: Pull request #900 synchronize by ineol
December 19, 2024 14:09 2h 13m 56s auto-univ
auto-univ
December 19, 2024 14:09 2h 13m 56s
feat: prove CNFA.{isEmpty, isUniversal} Performance #56: Pull request #900 opened by ineol
December 19, 2024 13:37 32m 58s auto-univ
auto-univ
December 19, 2024 13:37 32m 58s