AtHeartEngineer/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-08 23:08:19 -05:00
Code Issues Packages Projects Releases Wiki Activity

ci: update certora CLI to 7.25.2

Browse Source
This commit is contained in:
r4bbit
2025-02-20 17:20:18 +01:00
parent 58f43d07ce
commit e1d84d5c8f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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