Skip to content
formal verification

Add Governor note for state changes between proposal creation and execution #2971

Sign in to view logs

Add Governor note for state changes between proposal creation and execution

Add Governor note for state changes between proposal creation and execution #2971

Triggered via pull request November 28, 2023 17:09
@ernestognwernestognw
opened #4766
ernestognw:governor/proposal-state-changes
Status Success
Total duration 14s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
2s
apply-diff
verify
0s
verify
Fit to window
Zoom out
Zoom in