mirror
/
openzeppelin-contracts
mirror of https://github.com/OpenZeppelin/openzeppelin-contracts
2
1
Fork 1
Code Issues Releases Wiki Activity

Update dependency certora-cli to v7

Browse Source
renovate[bot] 1 month ago committed by GitHub
parent 96b40d02c3
commit 046c4a2d07
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      fv-requirements.txt

2
fv-requirements.txt
Unescape View File

@ -1,4 +1,4 @@
certora-cli==4.13.1 certora-cli==7.22.2
# File uses a custom name (fv-requirements.txt) so that it isn't picked by Netlify's build # File uses a custom name (fv-requirements.txt) so that it isn't picked by Netlify's build
# whose latest Python version is 0.3.8, incompatible with most recent versions of Halmos # whose latest Python version is 0.3.8, incompatible with most recent versions of Halmos
halmos==0.2.3 halmos==0.2.3

Write Preview
Loading…
Cancel
Save