diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index c19a0bf4a..fd4e16a3a 100644
--- 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==4.13.1
 
             - name: Install solc
               run: |