Remove unnecessary .doctrees folder

FEMlium · Nov 29, 2023 · 96152d6 · 96152d6
1 parent 0d62571
commit 96152d6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
@@ -171,6 +171,9 @@ jobs:
       - name: Fix permissions
         run: |
           sudo chown $USER _build -R
+      - name: Remove unnecessary .doctrees folder
+        run: |
+          rm -rf _build/html/.doctrees
       - name: Clean up old Github pages branch
         if: github.repository == 'FEMlium/femlium.github.io' && github.event.inputs.reset_github_pages == 'yes'
         run: |