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

CI CI #133: Scheduled
April 20, 2024 07:01 25s master
master
April 20, 2024 07:01 25s
CI CI #132: Scheduled
April 19, 2024 07:01 23s master
master
April 19, 2024 07:01 23s
CI CI #131: Scheduled
April 18, 2024 07:01 22s master
master
April 18, 2024 07:01 22s
CI CI #130: Scheduled
April 17, 2024 07:01 34s master
master
April 17, 2024 07:01 34s
CI CI #129: Scheduled
April 16, 2024 07:00 24s master
master
April 16, 2024 07:00 24s
CI CI #128: Scheduled
April 15, 2024 07:00 22s master
master
April 15, 2024 07:00 22s
CI CI #127: Scheduled
April 14, 2024 07:39 28s master
master
April 14, 2024 07:39 28s
CI CI #126: Scheduled
April 13, 2024 07:00 24s master
master
April 13, 2024 07:00 24s
CI CI #125: Scheduled
April 12, 2024 07:01 21s master
master
April 12, 2024 07:01 21s
CI CI #124: Scheduled
April 11, 2024 07:01 25s master
master
April 11, 2024 07:01 25s
CI CI #123: Scheduled
April 10, 2024 07:00 25s master
master
April 10, 2024 07:00 25s
CI CI #122: Scheduled
April 9, 2024 07:01 23s master
master
April 9, 2024 07:01 23s
CI CI #121: Scheduled
April 8, 2024 07:01 22s master
master
April 8, 2024 07:01 22s
feat: add research runtime allocator yaml with support for all files CI #120: Commit 6639fae pushed by bollu
April 7, 2024 12:41 1h 8m 48s run-2024-04-07--13-40-tcg40
run-2024-04-07--13-40-tcg40
April 7, 2024 12:41 1h 8m 48s
feat: add research runtime allocator yaml with support for all files CI #119: Commit 7768f10 pushed by bollu
April 7, 2024 12:38 1h 9m 53s 2024-borrowing-benchmarking-baseline-v6
2024-borrowing-benchmarking-baseline-v6
April 7, 2024 12:38 1h 9m 53s
feat: add research runtime allocator yaml with support for all files CI #118: Commit 6639fae pushed by bollu
April 7, 2024 12:38 1h 10m 29s 2024-borrowing-benchmarking-rebase
2024-borrowing-benchmarking-rebase
April 7, 2024 12:38 1h 10m 29s
feat: add research runtime allocator yaml with support for all files CI #117: Commit 7768f10 pushed by bollu
April 7, 2024 12:36 1h 3m 54s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 7, 2024 12:36 1h 3m 54s
feat: add latest run numbers CI #116: Commit 4f3f0b4 pushed by bollu
April 7, 2024 10:24 1h 9m 49s 2024-borrowing-benchmarking-rebase
2024-borrowing-benchmarking-rebase
April 7, 2024 10:24 1h 9m 49s
CI CI #115: Scheduled
April 7, 2024 07:01 29s master
master
April 7, 2024 07:01 29s
feat: add ability to log inc/dec usage, teach temci about these. CI #114: Commit ac36ec0 pushed by bollu
April 6, 2024 21:58 1h 4m 35s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 6, 2024 21:58 1h 4m 35s
feat: teach temci to interpret our lean runtime benching. CI #113: Commit 6d845de pushed by bollu
April 6, 2024 21:56 2m 7s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 6, 2024 21:56 2m 7s
feat: don't dump runtime info into stderr, but write into file via re… CI #112: Commit f1d0c11 pushed by bollu
April 6, 2024 21:51 5m 43s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 6, 2024 21:51 5m 43s
feat: allow drop-guided reuse after a borrowed function call CI #111: Commit 50d54ac pushed by bollu
April 6, 2024 16:40 1h 9m 44s run-2024-04-06--17-36-tcg40
run-2024-04-06--17-36-tcg40
April 6, 2024 16:40 1h 9m 44s
Revert "feat: add ability to log inc/dec usage" CI #110: Commit 0e3d2ae pushed by bollu
April 6, 2024 15:57 1h 2m 54s 2024-borrowing-benchmarking-baseline-branch
2024-borrowing-benchmarking-baseline-branch
April 6, 2024 15:57 1h 2m 54s
feat: allow drop-guided reuse after a borrowed function call CI #109: Commit 723631c pushed by anfelor
April 6, 2024 14:41 1h 11m 46s 2024-borrowing-clean
2024-borrowing-clean
April 6, 2024 14:41 1h 11m 46s