status-im
/
dagger-contracts
mirror of https://github.com/status-im/dagger-contracts.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

chore(ci): update certora-cli version in CI tasks 

This updates `certora-cli` to the latest version (at the time of the
commit, this was 7.10.1).
This commit is contained in:
r4bbit 2024-07-30 14:52:11 +02:00
parent bbd57ab876
commit 0f596e639a
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' java-package: 'jre'
- name: Install Certora CLI - name: Install Certora CLI
run: pip3 install certora-cli==7.6.3 run: pip3 install certora-cli==7.10.1
- name: Install Solidity - name: Install Solidity
run: | run: |