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

feat: prove CNFA.{lift, proj} (#899) Performance #55: Commit 8b10694 pushed by github-merge-queue bot
December 19, 2024 12:51 2h 34m 50s main
main
December 19, 2024 12:51 2h 34m 50s
Performance Performance #54: Merge group checks requested
December 19, 2024 12:46 1h 42m 43s
December 19, 2024 12:46 1h 42m 43s
feat: prove CNFA.{lift, proj} Performance #53: Pull request #899 opened by ineol
December 19, 2024 12:33 58m 1s auto-quant
auto-quant
December 19, 2024 12:33 58m 1s
feat: Dockerfile for bv-evaluation scripts Performance #52: Pull request #898 opened by alexkeizer
December 17, 2024 17:40 1h 49m 9s bv-evaluation-dockerfile
bv-evaluation-dockerfile
December 17, 2024 17:40 1h 49m 9s
feat: prove CNFA.{determinize, neg} (#897) Performance #51: Commit 9007b04 pushed by github-merge-queue bot
December 17, 2024 15:55 2h 36m 57s main
main
December 17, 2024 15:55 2h 36m 57s
Performance Performance #50: Merge group checks requested
December 17, 2024 15:49 1h 45m 44s
December 17, 2024 15:49 1h 45m 44s
feat: prove CNFA.{determinize, neg} Performance #49: Pull request #897 synchronize by ineol
December 17, 2024 15:40 57m 41s auto-det
auto-det
December 17, 2024 15:40 57m 41s
feat: prove CNFA.{determinize, neg} Performance #48: Pull request #897 opened by ineol
December 16, 2024 18:29 57m 32s auto-det
auto-det
December 16, 2024 18:29 57m 32s
Bv default args plus timeout Performance #47: Pull request #896 opened by tobiasgrosser
December 15, 2024 16:08 34m 49s bv_default_args_plus_timeout
bv_default_args_plus_timeout
December 15, 2024 16:08 34m 49s
feat: add performance tracking to CI (#888) Performance #46: Commit 60f0fe8 pushed by github-merge-queue bot
December 15, 2024 06:48 1h 49m 41s main
main
December 15, 2024 06:48 1h 49m 41s
Performance Performance #45: Merge group checks requested
December 15, 2024 06:42 57m 35s
December 15, 2024 06:42 57m 35s
feat: add performance tracking to CI Performance #44: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:36 57m 27s add_ci
add_ci
December 15, 2024 05:36 57m 27s
feat: add performance tracking to CI Performance #43: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 05:35 30s add_ci
add_ci
December 15, 2024 05:35 30s
feat: add performance tracking to CI Performance #42: Pull request #888 synchronize by tobiasgrosser
December 15, 2024 04:09 1h 26m 56s add_ci
add_ci
December 15, 2024 04:09 1h 26m 56s
feat: add performance tracking to CI Performance #41: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 20:48 6h 0m 40s add_ci
add_ci
December 14, 2024 20:48 6h 0m 40s
feat: add performance tracking to CI Performance #40: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 20:29 19m 32s add_ci
add_ci
December 14, 2024 20:29 19m 32s
feat: add performance tracking to CI Performance #39: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 20:21 8m 11s add_ci
add_ci
December 14, 2024 20:21 8m 11s
feat: add performance tracking to CI Performance #38: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 15:17 57m 17s add_ci
add_ci
December 14, 2024 15:17 57m 17s
feat: add performance tracking to CI Performance #37: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 12:26 32m 22s add_ci
add_ci
December 14, 2024 12:26 32m 22s
feat: add performance tracking to CI Performance #36: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 12:02 4m 11s add_ci
add_ci
December 14, 2024 12:02 4m 11s
feat: add performance tracking to CI Performance #35: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 12:00 1m 50s add_ci
add_ci
December 14, 2024 12:00 1m 50s
feat: add performance tracking to CI Performance #34: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 10:15 57m 2s add_ci
add_ci
December 14, 2024 10:15 57m 2s
feat: add performance tracking to CI Performance #33: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 02:19 57m 6s add_ci
add_ci
December 14, 2024 02:19 57m 6s
feat: add performance tracking to CI Performance #32: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 01:14 57m 10s add_ci
add_ci
December 14, 2024 01:14 57m 10s
feat: add performance tracking to CI Performance #31: Pull request #888 synchronize by tobiasgrosser
December 14, 2024 00:05 57m 9s add_ci
add_ci
December 14, 2024 00:05 57m 9s