logos-storage/logos-storage-contracts-eth
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-contracts-eth.git synced 2026-03-27 13:53:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

certora: update certora-cli to 7.29.3

Browse Source 
Reason: Vault.conf parsing errors with old certora-cli
This commit is contained in:
Mark Spanbroek 2025-06-12 17:03:00 +02:00
parent 6d16b0c613
commit 0305965bd5
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

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