certora: do not use beta version

mimic-fi · Oct 18, 2023 · 84ef3bb · 84ef3bb
1 parent c37ee9d
commit 84ef3bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/certora/action.yml b/.github/actions/certora/action.yml
@@ -25,7 +25,7 @@ runs:
       with: { java-version: '11', java-package: jre }
     - name: Install certora cli
       shell: bash
-      run: pip install certora-cli-beta
+      run: pip install certora-cli
     - name: Install solc
       shell: bash
       run: |