deploy pages via actions

Author: quarckster

.github/workflows/deploy-site.yaml

@@ -9,15 +9,15 @@ on:
         default: "master"
 
 permissions:
-  contents: write
+  contents: read
+  pages: write
+  id-token: write
 
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: "Fetch gh-pages branch"
-        run: git fetch origin gh-pages --depth=1
       - name: "Set permissions"
         run: chmod -R a+rwX $(pwd)
       - name: "Build site"
@@ -26,8 +26,13 @@ jobs:
                  quay.io/openssl-ci/docs:20240711-115832 sh -c "\
                    git config --global --add safe.directory /mnt && \
                    python build.py ${{ github.event.inputs.branch }}"
-      - name: "Push branch"
-        run: |
-          git config user.name openssl-machine
-          git config user.email [email protected]
-          git push origin gh-pages
+      - name: "Change branch"
+        run: git switch gh-pages
+      - name: "Setup GitHub Pages"
+        uses: actions/configure-pages@v5
+      - name: "Upload artifact"
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: "."
+      - name: "Deploy to GitHub Pages"
+        uses: actions/deploy-pages@v4