Merge pull request #136 from friedemannsommer/dependabot/github_actio…

…ns/JamesIves/github-pages-deploy-action-4.7.2 Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2
friedemannsommer · Dec 8, 2024 · 29e51e0 · 29e51e0
2 parents 7126dde + 20904dc
commit 29e51e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -117,7 +117,7 @@ jobs:
           rsync -ac --delete generated_documentation/ "new_documentation/development"
 
       - name: publish to GitHub Pages
-        uses: JamesIves/[email protected].1
+        uses: JamesIves/[email protected].2
         with:
           branch: gh-pages
           clean: true