From 6e1c536c7b620a33e36779482f0e7c826fabd3ea Mon Sep 17 00:00:00 2001
From: Peter Solymos <psolymos@gmail.com>
Date: Fri, 5 Jul 2024 22:51:54 -0600
Subject: [PATCH] Add clean option

Signed-off-by: Peter Solymos <psolymos@gmail.com>
---
 .github/workflows/deploy.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 9260a00..ddd2277 100644
--- 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