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. |
||
---|---|---|
.. | ||
test.yml |