Skip to content

Actions: leanprover/reservoir

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #53: Manually run by tydeu
December 1, 2023 23:15 8m 30s stage/external-index
stage/external-index
December 1, 2023 23:15 8m 30s
chore: CI touchups CI #52: Commit 31c71b7 pushed by tydeu
December 1, 2023 23:00 7m 1s stage/external-index
stage/external-index
December 1, 2023 23:00 7m 1s
CI CI #51: Manually run by tydeu
December 1, 2023 22:56 3s stage/external-index
stage/external-index
December 1, 2023 22:56 3s
chore: CI touchups CI #50: Commit 69e78be pushed by tydeu
December 1, 2023 22:29 1m 15s stage/external-index
stage/external-index
December 1, 2023 22:29 1m 15s
feat: use external index for standalone testbed CI #49: Commit d1b19ab pushed by tydeu
December 1, 2023 22:06 18m 43s stage/external-index
stage/external-index
December 1, 2023 22:06 18m 43s
feat: use external index fo standalone testbed CI #48: Commit 4423e5a pushed by tydeu
December 1, 2023 22:04 36s stage/external-index
stage/external-index
December 1, 2023 22:04 36s
feat: use external index fo standalone testbed CI #47: Commit 21c8c30 pushed by tydeu
December 1, 2023 21:51 26s stage/external-index
stage/external-index
December 1, 2023 21:51 26s
feat: use external index fo standalone testbed CI #46: Commit 37137fa pushed by tydeu
December 1, 2023 21:42 28s stage/external-index
stage/external-index
December 1, 2023 21:42 28s
feat: revamp index discovery CI #45: Commit e510ade pushed by tydeu
December 1, 2023 04:06 2m 14s master
master
December 1, 2023 04:06 2m 14s
feat: revamp index discovery CI #44: Commit e897d3d pushed by tydeu
December 1, 2023 03:06 10m 18s master
master
December 1, 2023 03:06 10m 18s
feat: revamp index discovery CI #43: Commit e897d3d pushed by tydeu
December 1, 2023 01:17 7m 35s stage/full-index
stage/full-index
December 1, 2023 01:17 7m 35s
feat: revamp index discovery CI #42: Commit 3c9263b pushed by tydeu
December 1, 2023 00:16 6m 45s stage/full-index
stage/full-index
December 1, 2023 00:16 6m 45s
refactor: reorganize manifest info CI #41: Commit d9a366e pushed by tydeu
November 30, 2023 04:24 30m 41s master
master
November 30, 2023 04:24 30m 41s
refactor: reorganize manifest info CI #40: Commit d9a366e pushed by tydeu
November 30, 2023 04:04 9m 58s stage/reformat
stage/reformat
November 30, 2023 04:04 9m 58s
refactor: reorganize manifest info CI #39: Commit cb82d5b pushed by tydeu
November 30, 2023 03:39 7m 34s stage/reformat
stage/reformat
November 30, 2023 03:39 7m 34s
refactor: reorganize manifest info CI #38: Commit 6152a50 pushed by tydeu
November 29, 2023 23:24 6m 53s stage/reformat
stage/reformat
November 29, 2023 23:24 6m 53s
refactor: reorganize manifest info CI #37: Commit a9d140f pushed by tydeu
November 29, 2023 23:06 6m 27s stage/reformat
stage/reformat
November 29, 2023 23:06 6m 27s
chore: fix CI secret passing CI #36: Commit 96b6fdb pushed by tydeu
November 29, 2023 04:13 46m 6s master
master
November 29, 2023 04:13 46m 6s
chore: fix CI secret passing CI #35: Commit 96b6fdb pushed by tydeu
November 29, 2023 03:23 28m 51s stage/dev
stage/dev
November 29, 2023 03:23 28m 51s
chore: touchup highlight category spacing CI #34: Commit 902cda3 pushed by tydeu
November 29, 2023 02:21 7m 55s stage/dev
stage/dev
November 29, 2023 02:21 7m 55s
chore: CI touchups CI #33: Commit 94a9f81 pushed by tydeu
November 28, 2023 21:19 8m 0s stage/dev
stage/dev
November 28, 2023 21:19 8m 0s
chore: CI touchups CI #32: Commit 31f207b pushed by tydeu
November 28, 2023 21:17 2m 57s stage/dev
stage/dev
November 28, 2023 21:17 2m 57s
chore: CI touchups CI #31: Commit 810cfd2 pushed by tydeu
November 28, 2023 20:55 11m 3s stage/dev
stage/dev
November 28, 2023 20:55 11m 3s
refactor: testbed: do not upload pkg build dirs CI #30: Commit 6bf1f3d pushed by tydeu
November 28, 2023 20:50 1s stage/dev
stage/dev
November 28, 2023 20:50 1s