diff --git a/.github/actions/certora/action.yml b/.github/actions/certora/action.yml
index d8881207..47c57378 100644
--- 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: |