Skip to content
formal verification

Add a governance extension that implements super quorum #6168

Sign in to view logs

Add a governance extension that implements super quorum

Add a governance extension that implements super quorum #6168

Triggered via pull request February 20, 2025 08:31
@AmxxAmxx
synchronize #5492
0xmichalis:governance-super-quorum
Status Failure
Total duration 48s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
18s
halmos
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
halmos
Process completed with exit code 1.
halmos
Cache not found for keys: linux-foundry-chain-fork-halmos-827e6ac0c9dc0ca475c6bc501cffe5e39a9009c5, linux-foundry-chain-fork-halmos-, linux-foundry-chain-fork-