Skip to content

Actions: Emurgo/proof-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 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 #49: Scheduled
26s main
main
26s
Proof release coherence Proof release coherence #48: Scheduled
26s main
main
26s
Sync upstream: optimized v3 circuit + gnark security upgrade CI #10: Pull request #6 opened by stackchain
38m 28s sync/upstream-main-191ca93
sync/upstream-main-191ca93
38m 28s
Sync upstream: optimized v3 circuit + gnark security upgrade Proof release coherence #47: Pull request #6 opened by stackchain
29s sync/upstream-main-191ca93
sync/upstream-main-191ca93
29s
PR #6 CodeQL #16: by stackchain
6m 20s refs/pull/6/head
refs/pull/6/head
6m 20s
Proof release coherence Proof release coherence #46: Scheduled
5m 26s main
main
5m 26s
Proof release coherence Proof release coherence #45: Scheduled
23s main
main
23s
Proof release coherence Proof release coherence #44: Scheduled
34s main
main
34s
Scheduled CodeQL #15: by github-advanced-security AI
6m 52s main
main
6m 52s
Proof release coherence Proof release coherence #43: Scheduled
30s main
main
30s
Proof release coherence Proof release coherence #42: Scheduled
30s main
main
30s
Proof release coherence Proof release coherence #41: Scheduled
26s main
main
26s
Proof release coherence Proof release coherence #40: Scheduled
28s main
main
28s
Proof release coherence Proof release coherence #39: Scheduled
23s main
main
23s
Proof release coherence Proof release coherence #38: Scheduled
26s main
main
26s
Proof release coherence Proof release coherence #37: Scheduled
28s main
main
28s
Add hardened MPC ceremony and Relay integration CI #9: Pull request #5 opened by mellowcroc
Action required zksecurity:main
zksecurity:main
Action required
Add hardened MPC ceremony and Relay integration MPC ceremony release validation #2: Pull request #5 opened by mellowcroc
Action required zksecurity:main
zksecurity:main
Action required
Proof release coherence Proof release coherence #36: Scheduled
28s main
main
28s
Proof release coherence Proof release coherence #35: Scheduled
26s main
main
26s
Scheduled CodeQL #14: by github-advanced-security AI
2m 19s main
main
2m 19s
build(ci): pin GitHub Actions to commit SHAs Proof release coherence #34: Pull request #3 opened by crypto-titan
26s chore/pin-actions-to-sha
chore/pin-actions-to-sha
26s
build(ci): pin GitHub Actions to commit SHAs CI #7: Pull request #3 opened by crypto-titan
52m 38s chore/pin-actions-to-sha
chore/pin-actions-to-sha
52m 38s
PR #3 CodeQL #13: by crypto-titan
2m 6s refs/pull/3/head
refs/pull/3/head
2m 6s
Proof release coherence Proof release coherence #33: Scheduled
34s main
main
34s