Update push.yml

fpvandoorn · Jul 5, 2024 · dd4a2cf · dd4a2cf
1 parent f90d487
commit dd4a2cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -64,7 +64,7 @@ jobs:
         run: ~/.elan/bin/lake -Kenv=dev build Carleson:docs # Build project documentation
 
       - name: Clear cached documentation files
-        run: rm -rf .lake/build/doc/declarations/* # Clean up documentation cache to save space
+        run: rm -rf .lake/build/doc/declarations/header-data.bmp # Clean up documentation cache to save space
 
       - name: Install Python
         uses: actions/setup-python@v4