Skip to content

Actions: ShieldedLabs/zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,207 workflow runs
1,207 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
Z3 regtest wallet tests Z3 regtest wallet tests #187: Scheduled
4m 26s main
main
4m 26s
Z3 stack smoke test Z3 stack smoke test #222: Scheduled
6m 21s main
main
6m 21s
Z3 regtest wallet tests Z3 regtest wallet tests #186: Scheduled
6m 19s main
main
6m 19s
Z3 stack smoke test Z3 stack smoke test #221: Scheduled
6m 23s main
main
6m 23s
Running Copilot Code Review Copilot #119: by Copilot AI
2m 13s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 13s
test(zeronym): model the divert protocol in Quint and check it in CI Z3 regtest wallet tests #185: Pull request #82 synchronize by aphelionz
14s test/zeronym-divert-quint
test/zeronym-divert-quint
14s
test(zeronym): model the divert protocol in Quint and check it in CI zeronym-guards #62: Pull request #82 synchronize by aphelionz
2m 29s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 29s
test(zeronym): model the divert protocol in Quint and check it in CI Zebra consensus benchmarks #117: Pull request #82 synchronize by aphelionz
9s test/zeronym-divert-quint
test/zeronym-divert-quint
9s
test(zeronym): model the divert protocol in Quint and check it in CI cargo vet #156: Pull request #82 synchronize by aphelionz
16s test/zeronym-divert-quint
test/zeronym-divert-quint
16s
test(zeronym): model the divert protocol in Quint and check it in CI Z3 stack smoke test #220: Pull request #82 synchronize by aphelionz
13s test/zeronym-divert-quint
test/zeronym-divert-quint
13s
test(zeronym): assert the lying-hub noQueuedBytes counterexample zeronym-guards #61: Commit 262bd78 pushed by aphelionz
2m 16s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 16s
Running Copilot Code Review Copilot #118: by Copilot AI
2m 58s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 58s
test(zeronym): model the divert protocol in Quint and check it in CI Z3 regtest wallet tests #184: Pull request #82 synchronize by aphelionz
53s test/zeronym-divert-quint
test/zeronym-divert-quint
53s
test(zeronym): model the divert protocol in Quint and check it in CI Zebra consensus benchmarks #116: Pull request #82 synchronize by aphelionz
9s test/zeronym-divert-quint
test/zeronym-divert-quint
9s
test(zeronym): model the divert protocol in Quint and check it in CI cargo vet #155: Pull request #82 synchronize by aphelionz
31s test/zeronym-divert-quint
test/zeronym-divert-quint
31s
test(zeronym): model the divert protocol in Quint and check it in CI zeronym-guards #60: Pull request #82 synchronize by aphelionz
2m 20s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 20s
test(zeronym): model the divert protocol in Quint and check it in CI Z3 stack smoke test #219: Pull request #82 synchronize by aphelionz
19s test/zeronym-divert-quint
test/zeronym-divert-quint
19s
ci(zeronym): pin the spec job's checkout and give it a read-only token zeronym-guards #59: Commit 2e90d6f pushed by aphelionz
2m 37s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 37s
Running Copilot Code Review Copilot #117: by Copilot AI
3m 21s test/zeronym-divert-quint
test/zeronym-divert-quint
3m 21s
test(zeronym): model the divert protocol in Quint and check it in CI cargo vet #154: Pull request #82 synchronize by aphelionz
13s test/zeronym-divert-quint
test/zeronym-divert-quint
13s
test(zeronym): model the divert protocol in Quint and check it in CI Z3 stack smoke test #218: Pull request #82 synchronize by aphelionz
17s test/zeronym-divert-quint
test/zeronym-divert-quint
17s
test(zeronym): model the divert protocol in Quint and check it in CI Z3 regtest wallet tests #183: Pull request #82 synchronize by aphelionz
19s test/zeronym-divert-quint
test/zeronym-divert-quint
19s
test(zeronym): model the divert protocol in Quint and check it in CI Zebra consensus benchmarks #115: Pull request #82 synchronize by aphelionz
8s test/zeronym-divert-quint
test/zeronym-divert-quint
8s
test(zeronym): model the divert protocol in Quint and check it in CI zeronym-guards #58: Pull request #82 synchronize by aphelionz
2m 28s test/zeronym-divert-quint
test/zeronym-divert-quint
2m 28s
test(zeronym): scope the divert invariants by hub honesty; verdict-aw… zeronym-shim-reproduce #108: Commit 4a456c9 pushed by aphelionz
8m 9s test/zeronym-divert-quint
test/zeronym-divert-quint
8m 9s