7.3.0

Certora · May 5, 2024 · 7c83653 · 7c83653
1 parent f2729fa
commit 7c83653
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -36,7 +36,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install certora cli
-        run: pip install certora-cli==7.0.7
+        run: pip install certora-cli==7.3.0
 
       - name: Install solc
         run: |