diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index acabfb8aa..96580b4bd 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -15,7 +15,7 @@ jobs:
         runs-on: ubuntu-latest
         strategy:
             matrix:
-                rule: ["owner", "safe", "module", "nativeTokenRefund", "signatures", "safeMigration", "safeToL2Migration", "safeToL2Setup"]
+                rule: ["execute", "extensible", "fallback", "guards", "hash", "module", "nativeTokenRefund", "owner", "safe", "safeMigration", "safeToL2Migration", "safeToL2Setup", "setup", "signatures"]
 
         steps:
             - uses: actions/checkout@v4
diff --git a/certora/requirements.txt b/certora/requirements.txt
index df37fea8f..6ab909e71 100644
--- a/certora/requirements.txt
+++ b/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.10.1
+certora-cli==7.22.2