Deploy docs to z3prover.github.io organization pages

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

.github/workflows/docs.yml

@@ -7,8 +7,6 @@ on:
 
 permissions:
   contents: read
-  pages: write
-  id-token: write
 
 concurrency:
   group: "pages"
@@ -45,22 +43,12 @@ jobs:
         working-directory: doc
         run: python3 mk_api_doc.py --output-dir=api
 
-      - name: Setup Pages
+      - name: Deploy to z3prover.github.io
-        uses: actions/configure-pages@v5
+        uses: peaceiris/actions-gh-pages@v4
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
         with:
-          path: 'doc/api/html'
+          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
-
+          external_repository: Z3Prover/z3prover.github.io
-  deploy:
+          publish_branch: master
-    name: Deploy to GitHub Pages
+          publish_dir: ./doc/api/html
-    environment:
+          user_name: github-actions[bot]
-      name: github-pages
+          user_email: github-actions[bot]@users.noreply.github.com
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: build-docs
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4