diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
index 03704aed..d99fbc4f 100644
--- a/.github/workflows/checks.yml
+++ b/.github/workflows/checks.yml
@@ -72,7 +72,7 @@ jobs:
         with:
           check_filenames: true
           ignore_words_list: we
-          skip: ./.git,./lib
+          skip: ./.git,./lib,./certora
 
   validate-links:
     runs-on: ${{ matrix.os }}