Add clean option

Signed-off-by: Peter Solymos <psolymos@gmail.com>
h10y · Jul 6, 2024 · 6e1c536 · 6e1c536
1 parent 2f6a217
commit 6e1c536
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -23,7 +23,8 @@ jobs:
           make html
       - name: Deploy to GitHub pages 🚀
         if: ${{ github.event_name != 'pull_request' }}
-        uses: JamesIves/github-pages-deploy-action@v4.4.1
+        uses: JamesIves/github-pages-deploy-action@v4
         with:
           branch: gh-pages
           folder: docs
+          clean: true