Update blueprint.yml

emilyriehl · Sep 27, 2024 · 68159cc · 68159cc
1 parent b4b268d
commit 68159cc
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -43,7 +43,6 @@ jobs:
             .lake/build/doc/declarations
             .lake/build/doc/find
             .lake/build/doc/*.*
-            #!.lake/build/doc/declarations/declaration-data-InfinityCosmos*
           key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
           restore-keys: MathlibDoc-
 
@@ -89,10 +88,10 @@ jobs:
       - name: Copy API documentation to `home_page/docs`
         run: cp -r .lake/build/doc home_page/docs
 
-      # - name: Remove unnecessary lake files from documentation in `home_page/docs`
-      #   run: |
-      #     find home_page/docs -name "*.trace" -delete
-      #     find home_page/docs -name "*.hash" -delete
+      - name: Remove unnecessary lake files from documentation in `home_page/docs`
+        run: |
+          find home_page/docs -name "*.trace" -delete
+          find home_page/docs -name "*.hash" -delete
 
       - name: Bundle dependencies
         uses: ruby/setup-ruby@v1