Skip to content
formal verification

Allow proposer to cancel proposal while pending, active, succeeded, and queued #5293

Sign in to view logs

Allow proposer to cancel proposal while pending, active, succeeded, and queued

Allow proposer to cancel proposal while pending, active, succeeded, and queued #5293

Triggered via pull request November 18, 2024 07:08
@arr00arr00
synchronize #5281
arr00:chore/expand-cancellation-ability
Status Success
Total duration 1m 18s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
halmos
1m 8s
halmos
Fit to window
Zoom out
Zoom in