chore: switch back to certora-cli

morpho-org · Aug 14, 2024 · 9aeb49f · 9aeb49f
1 parent d1e81ed
commit 9aeb49f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -39,7 +39,7 @@ jobs:
           python-version: ">=3.9"
 
       - name: Install certora
-        run: pip install certora-cli-beta
+        run: pip install certora-cli
 
       - name: Install solc
         run: |