diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 1e72b428..5e577620 100644
--- 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