Skip to content

Actions: ShieldedLabs/zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,424 workflow runs
2,424 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
Running Copilot Code Review Copilot #201: by Copilot AI
5m 53s test/zeronym-divert-quint
test/zeronym-divert-quint
5m 53s
test(zeronym): model the protocol in Quint and check it in CI cargo vet #292: Pull request #82 synchronize by hu55a1n1
14s test/zeronym-divert-quint
test/zeronym-divert-quint
14s
test(zeronym): model the protocol in Quint and check it in CI Z3 regtest wallet tests #327: Pull request #82 synchronize by hu55a1n1
17s test/zeronym-divert-quint
test/zeronym-divert-quint
17s
test(zeronym): model the protocol in Quint and check it in CI zeronym-guards #303: Pull request #82 synchronize by hu55a1n1
17m 36s test/zeronym-divert-quint
test/zeronym-divert-quint
17m 36s
test(zeronym): model the protocol in Quint and check it in CI Z3 stack smoke test #362: Pull request #82 synchronize by hu55a1n1
15s test/zeronym-divert-quint
test/zeronym-divert-quint
15s
test(zeronym): model the protocol in Quint and check it in CI Zebra consensus benchmarks #253: Pull request #82 synchronize by hu55a1n1
12s test/zeronym-divert-quint
test/zeronym-divert-quint
12s
test(zeronym): model the protocol in Quint and check it in CI Copilot Review #156: Pull request #82 synchronize by hu55a1n1
10s
10s
spec(zeronym): fail a gate row on a nonzero exit and start an abstrac… zeronym-guards #302: Commit 0c114e3 pushed by hu55a1n1
17m 7s test/zeronym-divert-quint
test/zeronym-divert-quint
17m 7s
Running Copilot Code Review Copilot #200: by Copilot AI
5m 7s test/zeronym-divert-quint
test/zeronym-divert-quint
5m 7s
test(zeronym): model the protocol in Quint and check it in CI zeronym-guards #301: Pull request #82 synchronize by hu55a1n1
13m 48s test/zeronym-divert-quint
test/zeronym-divert-quint
13m 48s
test(zeronym): model the protocol in Quint and check it in CI Zebra consensus benchmarks #252: Pull request #82 synchronize by hu55a1n1
11s test/zeronym-divert-quint
test/zeronym-divert-quint
11s
test(zeronym): model the protocol in Quint and check it in CI Z3 stack smoke test #361: Pull request #82 synchronize by hu55a1n1
15s test/zeronym-divert-quint
test/zeronym-divert-quint
15s
test(zeronym): model the protocol in Quint and check it in CI Z3 regtest wallet tests #326: Pull request #82 synchronize by hu55a1n1
16s test/zeronym-divert-quint
test/zeronym-divert-quint
16s
test(zeronym): model the protocol in Quint and check it in CI cargo vet #291: Pull request #82 synchronize by hu55a1n1
16s test/zeronym-divert-quint
test/zeronym-divert-quint
16s
test(zeronym): model the protocol in Quint and check it in CI Copilot Review #155: Pull request #82 synchronize by hu55a1n1
12s
12s
spec(zeronym): model the burn and the nullifier refusal, keyed by txid zeronym-guards #300: Commit b041ff6 pushed by hu55a1n1
17m 52s test/zeronym-divert-quint
test/zeronym-divert-quint
17m 52s
fix(zeronym): correct the non-finalized nullifier comment zeronym-hub-reproduce #232: Pull request #111 synchronize by hu55a1n1
7m 10s hub-flush-non-finalized-nullifier
hub-flush-non-finalized-nullifier
7m 10s
fix(zeronym): correct the non-finalized nullifier comment Z3 regtest wallet tests #325: Pull request #111 synchronize by hu55a1n1
13s hub-flush-non-finalized-nullifier
hub-flush-non-finalized-nullifier
13s
fix(zeronym): correct the non-finalized nullifier comment cargo vet #290: Pull request #111 synchronize by hu55a1n1
13s hub-flush-non-finalized-nullifier
hub-flush-non-finalized-nullifier
13s
fix(zeronym): correct the non-finalized nullifier comment Z3 stack smoke test #360: Pull request #111 synchronize by hu55a1n1
13s hub-flush-non-finalized-nullifier
hub-flush-non-finalized-nullifier
13s
fix(zeronym): correct the non-finalized nullifier comment Zebra consensus benchmarks #251: Pull request #111 synchronize by hu55a1n1
8s hub-flush-non-finalized-nullifier
hub-flush-non-finalized-nullifier
8s
fix(zeronym): correct the non-finalized nullifier comment zeronym-guards #299: Pull request #111 synchronize by hu55a1n1
1m 28s hub-flush-non-finalized-nullifier
hub-flush-non-finalized-nullifier
1m 28s
fix(zeronym): requeue an unknown anchor once, then burn it Z3 regtest wallet tests #324: Pull request #110 synchronize by hu55a1n1
19s hub-flush-unknown-anchor
hub-flush-unknown-anchor
19s
fix(zeronym): requeue an unknown anchor once, then burn it cargo vet #289: Pull request #110 synchronize by hu55a1n1
17s hub-flush-unknown-anchor
hub-flush-unknown-anchor
17s
fix(zeronym): requeue an unknown anchor once, then burn it Zebra consensus benchmarks #250: Pull request #110 synchronize by hu55a1n1
11s hub-flush-unknown-anchor
hub-flush-unknown-anchor
11s