codex-storage
/
codex-contracts-eth
mirror of https://github.com/codex-storage/codex-contracts-eth.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore(ci): update certora-cli version

This commit is contained in:
r4bbit 2024-10-21 12:25:42 +02:00
parent b413d776cc
commit 85d70ba96e
No known key found for this signature in database
GPG Key ID: E95F1E9447DC91A9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -52,7 +52,7 @@ jobs:
java-package: 'jre'
- name: Install Certora CLI
run: pip3 install certora-cli==7.10.2
run: pip3 install certora-cli==7.17.2
- name: Install Solidity
run: |