diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8d3c9fd..60c4123 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -53,7 +53,7 @@ jobs:
           java-package: 'jre'
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==7.10.2
+        run: pip3 install certora-cli==7.29.3
 
       - name: Install Solidity
         run: |