Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
623 workflow runs
623 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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 #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
feat: fix baseline to v3 CI #58: Commit 2b3e472 pushed by bollu
April 1, 2024 15:27 6h 0m 49s run-2024-04-01---15-52-tcg40
run-2024-04-01---15-52-tcg40
April 1, 2024 15:27 6h 0m 49s
feat: fix baseline to v3 CI #57: Commit 2b3e472 pushed by bollu
April 1, 2024 15:27 33m 27s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 15:27 33m 27s
feat: add benchmarking baseline branch to CI runs CI #56: Commit 27c1c5e pushed by bollu
April 1, 2024 14:48 6h 0m 54s 2024-borrowing-benchmarking-baseline-v3
2024-borrowing-benchmarking-baseline-v3
April 1, 2024 14:48 6h 0m 54s
feat: add benchmarking baseline branch to CI runs CI #55: Commit 27c1c5e pushed by bollu
April 1, 2024 14:48 1h 20m 10s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 1, 2024 14:48 1h 20m 10s
Merge branch '2024-borrowing-benchmarking' of https://github.com/open… CI #54: Commit 1b9eb73 pushed by anfelor
April 1, 2024 14:10 1h 11m 43s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 14:10 1h 11m 43s
remove stray colon CI #53: Commit 6cde49b pushed by bollu
April 1, 2024 13:40 30m 25s 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 13:40 30m 25s
feat: enable building this branch on CI CI #52: Commit dbe06a9 pushed by bollu
April 1, 2024 13:39 Failure 2024-borrowing-benchmarking
2024-borrowing-benchmarking
April 1, 2024 13:39 Failure
CI CI #51: by bollu
April 1, 2024 12:21 9m 1s 2024-borrowing-benching-baseline-v2
2024-borrowing-benching-baseline-v2
April 1, 2024 12:21 9m 1s
CI CI #50: Scheduled
April 1, 2024 07:01 22s master
master
April 1, 2024 07:01 22s
add temci report CI #49: Commit 78bf8fe pushed by bollu
March 31, 2024 18:55 48m 0s 2024-03-31---19-38---tcg40
2024-03-31---19-38---tcg40
March 31, 2024 18:55 48m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-03-31 or the other filters available.