Merge branch 'refs/heads/main' into dev

infinityofspace · Jun 17, 2024 · 6ef6874 · 6ef6874
2 parents e62f8a4 + 2c49676
commit 6ef6874
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs_publish.yml b/.github/workflows/docs_publish.yml
@@ -26,7 +26,7 @@ jobs:
         run: cd docs && make html
 
       - name: Publish docs to GitHub Pages
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: docs/build/html