f

Ion-Protocol · Feb 5, 2024 · ba3d927 · ba3d927
1 parent 4c86452
commit ba3d927
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 }}