formal verification

Document voting counting until casted in GovernorCountingOverridable #5326

Sign in to view logs

Triggered via pull request November 20, 2024 09:14

ernestognw

synchronize #5309

ernestognw:fix/l-04

Status Success

Total duration 1m 5s

Artifacts –

formal-verification.yml

on: pull_request