Skip to content

Commit

Permalink
update README
Browse files Browse the repository at this point in the history
  • Loading branch information
@nisnislevi
nisnislevi committed Apr 16, 2024
1 parent 459b9f7 commit fa15c15
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion certora/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ bash certora/scripts/run-all.sh
_Note: When running the rules locally, please remove the solc version from the `.conf` files as when using solc-select solc version should not be specified in `.conf`_

After the jobs are complete, the results will be available on
[the staging Certora portal](https://prover.certora.com/).
[the Certora portal](https://prover.certora.com/).

## Adapting to changes

Expand Down

0 comments on commit fa15c15

Please sign in to comment.