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 to 7.10.2 

This should fix the bug of certora-cli not properly completing with non
zero exit codes on errors, which ultimately results in CI tasks to give
false positives.
This commit is contained in:
r4bbit 2024-08-27 12:47:22 +02:00
parent 3a6249e886
commit 50e90b6816
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.10.1 run: pip3 install certora-cli==7.10.2
- name: Install Solidity - name: Install Solidity
run: | run: |