ci: actions-gh-pages not actions/deploy-pages (#1670)

.github/workflows/every_commit.yml

@@ -72,26 +72,12 @@ jobs:
           . venv/bin/activate
           cd docs/
           make html
-      - name: Upload static files as artifact
-        id: deployment
-        uses: actions/upload-pages-artifact@v3
+      - name: Deploy docs to github-pages branch
+        uses: peaceiris/actions-gh-pages@v3
         with:
-          path: docs/_build/html/
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: docs/_build/html
         if: github.event_name != 'pull_request'
-  deploy-docs:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: install
-    if: github.event_name != 'pull_request'
-    permissions:
-      id-token: write
-      pages: write
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
   static:
     runs-on: ubuntu-latest
     steps: