Skip to content

Actions: zksecurity/proof-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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 release coherence Proof release coherence #7: Scheduled
31s main
main
31s
Proof release coherence Proof release coherence #6: Scheduled
21s main
main
21s
Proof release coherence Proof release coherence #5: Scheduled
20s main
main
20s
Proof release coherence Proof release coherence #4: Scheduled
25s main
main
25s
Proof release coherence Proof release coherence #3: Scheduled
25s main
main
25s
Proof release coherence Proof release coherence #2: Scheduled
19s main
main
19s
Merge pull request #14 from zksecurity/fix/release-security-blockers MPC ceremony release validation #27: Commit 52fbf7f pushed by mellowcroc
1m 17s main
main
1m 17s
Merge pull request #14 from zksecurity/fix/release-security-blockers CI #26: Commit 52fbf7f pushed by mellowcroc
54m 39s main
main
54m 39s
Harden production ceremony and release validation MPC ceremony release validation #26: Pull request #14 synchronize by mellowcroc
1m 31s fix/release-security-blockers
fix/release-security-blockers
1m 31s
Harden production ceremony and release validation CI #25: Pull request #14 synchronize by mellowcroc
46m 5s fix/release-security-blockers
fix/release-security-blockers
46m 5s
Harden production ceremony and release validation MPC ceremony release validation #25: Pull request #14 opened by mellowcroc
19s fix/release-security-blockers
fix/release-security-blockers
19s
Harden production ceremony and release validation CI #24: Pull request #14 opened by mellowcroc
12m 0s fix/release-security-blockers
fix/release-security-blockers
12m 0s
Merge pull request #13 from zksecurity/fix/pin-canonical-production-c… MPC ceremony release validation #24: Commit a508eef pushed by mellowcroc
1m 42s main
main
1m 42s
Merge pull request #13 from zksecurity/fix/pin-canonical-production-c… CI #23: Commit a508eef pushed by mellowcroc
1h 28m 44s main
main
1h 28m 44s
fix(mpc): pin the canonical production circuit at init CI #22: Pull request #13 synchronize by mellowcroc
31m 59s fix/pin-canonical-production-circuit
fix/pin-canonical-production-circuit
31m 59s
fix(mpc): pin the canonical production circuit at init MPC ceremony release validation #23: Pull request #13 synchronize by mellowcroc
2m 43s fix/pin-canonical-production-circuit
fix/pin-canonical-production-circuit
2m 43s
Merge pull request #12 from zksecurity/decouple-relay-compatibility MPC ceremony release validation #22: Commit f233434 pushed by mellowcroc
1m 34s main
main
1m 34s
Merge pull request #12 from zksecurity/decouple-relay-compatibility CI #21: Commit f233434 pushed by mellowcroc
52m 33s main
main
52m 33s
Decouple mpc-ceremony release validation from Relay MPC ceremony release validation #21: Pull request #12 synchronize by mellowcroc
1m 40s decouple-relay-compatibility
decouple-relay-compatibility
1m 40s
Decouple mpc-ceremony release validation from Relay CI #20: Pull request #12 synchronize by mellowcroc
52m 50s decouple-relay-compatibility
decouple-relay-compatibility
52m 50s
fix(mpc): pin the canonical production circuit at init CI #19: Pull request #13 opened by mellowcroc
22m 0s fix/pin-canonical-production-circuit
fix/pin-canonical-production-circuit
22m 0s
fix(mpc): pin the canonical production circuit at init MPC ceremony release validation #20: Pull request #13 opened by mellowcroc
22m 51s fix/pin-canonical-production-circuit
fix/pin-canonical-production-circuit
22m 51s
Decouple mpc-ceremony release validation from Relay MPC ceremony release validation #19: Pull request #12 synchronize by mellowcroc
1m 31s decouple-relay-compatibility
decouple-relay-compatibility
1m 31s
Decouple mpc-ceremony release validation from Relay CI #18: Pull request #12 synchronize by mellowcroc
18m 37s decouple-relay-compatibility
decouple-relay-compatibility
18m 37s
Decouple mpc-ceremony release validation from Relay CI #17: Pull request #12 opened by mellowcroc
11m 59s decouple-relay-compatibility
decouple-relay-compatibility
11m 59s