chore(CI): update certora-cli to 7.10.2

This should fix a bug in the CLI that causes CI tasks to pass even though prover runs are emitting errors.
logos-co · Aug 27, 2024 · b62ac52 · b62ac52
1 parent ead8db6
commit b62ac52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -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: |