From bc3d7a757cf91e46f6d13bcb0f7d92a89f385ba4 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Mon, 22 Jul 2024 02:27:20 +0200
Subject: [PATCH] Update push_pr.yml

---
 .github/workflows/push_pr.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
index 20eb511..17bc9d5 100644
--- 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