trying 7.6.3

Certora · May 15, 2024 · 2ec61b8 · 2ec61b8
1 parent 7c83653
commit 2ec61b8
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.3.0
+        run: pip install certora-cli-beta==7.6.3
 
       - name: Install solc
         run: |