Skip to content

Actions: leanprover/reservoir

Actions

Testbed

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
testbed.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Testbed Testbed #6: Manually run by tydeu
August 10, 2024 03:33 8m 15s index-refactor
index-refactor
August 10, 2024 03:33 8m 15s
Testbed Testbed #5: Manually run by tydeu
February 1, 2024 05:35 1h 26m 18s master
master
February 1, 2024 05:35 1h 26m 18s
Testbed Testbed #4: Manually run by tydeu
December 20, 2023 20:46 24m 4s master
master
December 20, 2023 20:46 24m 4s
Testbed Testbed #3: Manually run by tydeu
December 7, 2023 21:24 4m 43s stage/dev
stage/dev
December 7, 2023 21:24 4m 43s
Testbed Testbed #2: Manually run by tydeu
December 7, 2023 21:24 48s stage/dev
stage/dev
December 7, 2023 21:24 48s
Testbed Testbed #1: Manually run by tydeu
December 7, 2023 21:17 2m 55s stage/dev
stage/dev
December 7, 2023 21:17 2m 55s