logos-co/staking
1
0
Fork 0
mirror of https://github.com/logos-co/staking.git synced 2025-02-02 22:04:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore(CI): update certora-cli to 7.10.2

Browse Source 
This should fix a bug in the CLI that causes CI tasks to pass even
though prover runs are emitting errors.
This commit is contained in:
r4bbit 2024-08-27 13:39:12 +02:00
parent ead8db634c
commit b62ac5233e
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

@ -136,7 +136,7 @@ jobs:
with: { java-version: "11", java-package: jre }
- name: Install Certora CLI
run: pip3 install certora-cli==7.10.1
run: pip3 install certora-cli==7.10.2
- name: Install Solidity
run: |