Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
183 workflow run results
183 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: correctly setup runner for stage0 bench CI #83: Commit 363a124 pushed by bollu
April 4, 2024 11:40 1h 7m 46s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 4, 2024 11:40 1h 7m 46s
CI CI #82: by bollu
April 4, 2024 11:38 1h 13m 18s 2024-borrowing-benchmarking-baseline-v5
2024-borrowing-benchmarking-baseline-v5
April 4, 2024 11:38 1h 13m 18s
CI CI #81: Scheduled
April 4, 2024 07:00 23s master
master
April 4, 2024 07:00 23s
CI CI #80: by bollu
April 3, 2024 21:20 1h 13m 43s 2024-borrowing-benchmarking-ONLY-reuse-across-types-tag
2024-borrowing-benchmarking-ONLY-reuse-across-types-tag
April 3, 2024 21:20 1h 13m 43s
CI CI #79: by bollu
April 3, 2024 21:20 1h 5m 12s v4.7.0
v4.7.0
April 3, 2024 21:20 1h 5m 12s
feat: reuse across types and handle RC of reset correctly CI #78: Commit 2e0f23a pushed by bollu
April 3, 2024 21:14 1h 9m 42s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 3, 2024 21:14 1h 9m 42s
chore: update stage0 CI #77: Commit 7ac2f3b pushed by anfelor
April 3, 2024 10:08 1h 7m 6s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 3, 2024 10:08 1h 7m 6s
CI CI #76: Scheduled
April 3, 2024 07:01 23s master
master
April 3, 2024 07:01 23s
feat: use HTTPS to allow cloning CI #75: Commit 7a3913f pushed by bollu
April 2, 2024 13:06 10s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 13:06 10s
fix: run elan with -y CI #74: Commit 946407b pushed by bollu
April 2, 2024 13:00 33s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 13:00 33s
setup elan CI #73: Commit 439d515 pushed by bollu
April 2, 2024 12:57 2m 53s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 12:57 2m 53s
feat: start trying to run benching directly on CI so I am not on the … CI #72: Commit 4353bb6 pushed by bollu
April 2, 2024 12:55 2m 8s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 12:55 2m 8s
add results of recompiling stdlib CI #71: Commit 1931baf pushed by bollu
April 2, 2024 10:43 1h 2m 46s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 10:43 1h 2m 46s
feat: add plots for stdlib rebuild of stage1. run rerun with RUNTIME_… CI #70: Commit 3cfb588 pushed by bollu
April 2, 2024 09:04 1h 3m 15s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 09:04 1h 3m 15s
feat: add incorrect numbers for stage3 run, rerun it to be stage1 run CI #69: Commit d838aec pushed by bollu
April 2, 2024 08:12 52m 34s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 2, 2024 08:12 52m 34s
CI CI #68: Scheduled
April 2, 2024 07:01 26s master
master
April 2, 2024 07:01 26s
add latest run results CI #67: Commit 52fb6e7 pushed by bollu
April 1, 2024 22:37 1h 2m 36s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 22:37 1h 2m 36s
CI CI #66: by bollu
April 1, 2024 21:11 1h 11m 55s 2024-04-01---22-10-tcg40
2024-04-01---22-10-tcg40
April 1, 2024 21:11 1h 11m 55s
average over multiple runs CI #65: Commit a5cf6e8 pushed by bollu
April 1, 2024 20:30 1h 3m 14s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 20:30 1h 3m 14s
CI CI #64: by bollu
April 1, 2024 19:50 40m 4s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 19:50 40m 4s
baseline runtime: gracefully do not log if profile path does not exist CI #63: Commit 37c8479 pushed by bollu
April 1, 2024 16:10 1h 9m 30s run-2024-04-01---17-10-tcg40
run-2024-04-01---17-10-tcg40
April 1, 2024 16:10 1h 9m 30s
CI CI #61: by bollu
April 1, 2024 16:08 48m 8s 2024-borrowing-benching-baseline
2024-borrowing-benching-baseline
April 1, 2024 16:08 48m 8s
baseline runtime: gracefully do not log if profile path does not exist CI #62: Commit 39e2ca6 pushed by bollu
April 1, 2024 16:08 1h 12m 25s 2024-borrowing-benchmarking-baseline-v4
2024-borrowing-benchmarking-baseline-v4
April 1, 2024 16:08 1h 12m 25s
baseline runtime: gracefully do not log if profile path does not exist CI #60: Commit 39e2ca6 pushed by bollu
April 1, 2024 16:08 1h 10m 37s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 1, 2024 16:08 1h 10m 37s
baseline runtime: gracefully do not log if profile path does not exist CI #59: Commit 37c8479 pushed by bollu
April 1, 2024 16:00 1h 2m 5s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 16:00 1h 2m 5s