Certora: Update send only flag (#111)

mimic-fi · Oct 18, 2023 · bd77641 · bd77641
1 parent deb3453
commit bd77641
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: |