8773220abe
This backports Certora CI integration to this repository, resulting in GitHub Actions being extended to run formal verification on any change to contracts that comes in via pull requests. |
||
---|---|---|
.. | ||
workflows | ||
PULL_REQUEST_TEMPLATE.md |