Update push_pr.yml

fpvandoorn · Jul 22, 2024 · bc3d7a7 · bc3d7a7
1 parent ee95e81
commit bc3d7a7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
@@ -38,5 +38,5 @@ jobs:
             leanblueprint pdf
             leanblueprint web
 
-      - name: Check declarations
-        run: ~/.elan/bin/lake exe checkdecls blueprint/lean_decls
+      # - name: Check declarations
+      #   run: ~/.elan/bin/lake exe checkdecls blueprint/lean_decls