Skip to content
formal verification

Fix typo in GovernorVotesQuorumFraction.test.js #4128

Sign in to view logs

Fix typo in GovernorVotesQuorumFraction.test.js

Fix typo in GovernorVotesQuorumFraction.test.js #4128

Triggered via pull request May 14, 2024 08:54
@bodhi-crypobodhi-crypo
opened #5041
bodhi-crypo:master
Status Success
Total duration 12s
Artifacts –

formal-verification.yml

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