From 8847480d16523d7723e362396671af957791d8a7 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sat, 28 Sep 2024 16:21:59 +0200
Subject: [PATCH] Update blueprint.yml

---
 leanblueprint/templates/blueprint.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/leanblueprint/templates/blueprint.yml b/leanblueprint/templates/blueprint.yml
index 906ad92..ef05936 100644
--- a/leanblueprint/templates/blueprint.yml
+++ b/leanblueprint/templates/blueprint.yml
@@ -43,7 +43,6 @@ jobs:
             .lake/build/doc/declarations
             .lake/build/doc/find
             .lake/build/doc/*.*
-            !.lake/build/doc/declarations/declaration-data-{| lib_name |}*
           key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
           restore-keys: MathlibDoc-