diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index adde840..3cf3d04 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -136,7 +136,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==5.0.5
+        run: pip3 install certora-cli==6.3.1
 
       - name: Install Solidity
         run: |