Skip to content

Actions: wwylele/biased-bisect-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update Create Release #6: Commit 8dcb908 pushed by wwylele
10s main
main
10s
update Lean Action CI #7: Commit 8dcb908 pushed by wwylele
42m 12s main
main
42m 12s
update Create Release #5: Commit 8be1d62 pushed by wwylele
14s main
main
14s
update Lean Action CI #6: Commit 8be1d62 pushed by wwylele
48m 38s main
main
48m 38s
update Create Release #4: Commit 6f0254d pushed by wwylele
12s main
main
12s
update Lean Action CI #5: Commit 6f0254d pushed by wwylele
40m 45s main
main
40m 45s
update Create Release #3: Commit ba46b5f pushed by wwylele
14s main
main
14s
update Lean Action CI #4: Commit ba46b5f pushed by wwylele
38m 50s main
main
38m 50s
update Lean Action CI #3: Commit ae28628 pushed by wwylele
34m 42s main
main
34m 42s
update Create Release #2: Commit bc5141a pushed by wwylele
9s main
main
9s
update Lean Action CI #2: Commit bc5141a pushed by wwylele
34m 13s main
main
34m 13s
update Create Release #1: Commit 2a8eedb pushed by wwylele
9s main
main
9s
update Lean Action CI #1: Commit 2a8eedb pushed by wwylele
33m 3s main
main
33m 3s