Merge remote-tracking branch 'origin/main'

friedemannsommer · Dec 8, 2024 · 9e3bb10 · 9e3bb10
2 parents 7cfcbe9 + 29e51e0
commit 9e3bb10
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