Skip to content

Actions: denver-s/tzel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Proof Roundtrips Proof Roundtrips #27: Scheduled
3m 32s main
main
3m 32s
Proof Roundtrips Proof Roundtrips #26: Scheduled
3m 30s main
main
3m 30s
Proof Roundtrips Proof Roundtrips #25: Scheduled
3m 31s main
main
3m 31s
Proof Roundtrips Proof Roundtrips #24: Scheduled
3m 36s main
main
3m 36s
Proof Roundtrips Proof Roundtrips #23: Scheduled
3m 38s main
main
3m 38s
Proof Roundtrips Proof Roundtrips #22: Scheduled
3m 36s main
main
3m 36s
Proof Roundtrips Proof Roundtrips #21: Scheduled
3m 34s main
main
3m 34s
Proof Roundtrips Proof Roundtrips #20: Scheduled
3m 38s main
main
3m 38s
Proof Roundtrips Proof Roundtrips #19: Scheduled
3m 26s main
main
3m 26s
Proof Roundtrips Proof Roundtrips #18: Scheduled
3m 30s main
main
3m 30s
Proof Roundtrips Proof Roundtrips #17: Scheduled
3m 25s main
main
3m 25s
Proof Roundtrips Proof Roundtrips #16: Scheduled
3m 20s main
main
3m 20s
Proof Roundtrips Proof Roundtrips #15: Scheduled
3m 16s main
main
3m 16s
Proof Roundtrips Proof Roundtrips #14: Scheduled
3m 18s main
main
3m 18s
Proof Roundtrips Proof Roundtrips #13: Scheduled
3m 34s main
main
3m 34s
Proof Roundtrips Proof Roundtrips #12: Scheduled
3m 25s main
main
3m 25s
Proof Roundtrips Proof Roundtrips #11: Scheduled
3m 24s main
main
3m 24s
Proof Roundtrips Proof Roundtrips #10: Scheduled
3m 20s main
main
3m 20s
Proof Roundtrips Proof Roundtrips #9: Scheduled
3m 30s main
main
3m 30s
Proof Roundtrips Proof Roundtrips #8: Scheduled
3m 17s main
main
3m 17s
Proof Roundtrips Proof Roundtrips #7: Scheduled
3m 25s main
main
3m 25s
Proof Roundtrips Proof Roundtrips #6: Scheduled
3m 29s main
main
3m 29s
Proof Roundtrips Proof Roundtrips #5: Scheduled
3m 21s main
main
3m 21s
Proof Roundtrips Proof Roundtrips #4: Scheduled
3m 24s main
main
3m 24s
Proof Roundtrips Proof Roundtrips #3: Scheduled
3m 23s main
main
3m 23s