Locked certora-cli to v5.0.5

safe-global · Jan 12, 2024 · b824669 · b824669
1 parent eebd751
commit b824669
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -29,7 +29,7 @@ jobs:
               with: { java-version: "17", java-package: jre, distribution: semeru }
 
             - name: Install certora cli
-              run: pip install -Iv certora-cli
+              run: pip install -Iv certora-cli==5.0.5
 
             - name: Install solc
               run: |