From ecc63787fb25faf09fc92446d8221a3061ecd4e3 Mon Sep 17 00:00:00 2001
From: Larry Peterson <llp@cs.princeton.edu>
Date: Fri, 16 Jan 2026 12:45:50 -0700
Subject: [PATCH] publish to GitHub pages

Signed-off-by: Larry Peterson <llp@cs.princeton.edu>
---
 .github/workflows/publish-docs.yml | 56 ++++++++++++++++++------------
 1 file changed, 33 insertions(+), 23 deletions(-)

diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
index 1ef58ef..f019818 100644
--- a/.github/workflows/publish-docs.yml
+++ b/.github/workflows/publish-docs.yml
@@ -5,33 +5,43 @@ on:
     branches:
       - master
 
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the
+# run in-progress and latest queued. However, do NOT cancel in-progress
+# runs as we want to allow these production deployments to complete.
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
 jobs:
-  Publish_Docs:
+  # Single deploy job since we're just deploying
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     steps:
-      - run: echo "🎉 The job was automatically triggered by a ${{ github.event_name }} event."
-      - run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by GitHub!"
-      - run: echo "🔎 The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}."
-      - name: Check out repo
+      - name: Checkout
         uses: actions/checkout@v4
-      - name: Validate reST source
-        run: make test
-      - name: Build docs
+      - name: Setup Pages
+        uses: actions/configure-pages@v4
+      - name: Build html
         run: make html
-      - name: Hack to deal with multiversion
-        run: |
-          mkdir ${{ github.workspace }}/_build/multiversion/
-          mkdir ${{ github.workspace }}/_build/multiversion/master
-          cp -R ${{ github.workspace }}/_build/html/* ${{ github.workspace }}/_build/multiversion/master
-          ls ${{ github.workspace }}/_build/multiversion/master
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          # Upload build repository
+          path: './_build/html'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
+
 
-      - name: Prep private key
-        run: |
-          echo "${{ secrets.SSH_PRIVATE_KEY }}" >> ${{ github.workspace }}/id_rsa
-          chmod 600 ${{ github.workspace }}/id_rsa
-      - name: Run rsync script
-        run: |
-          chmod +x ./.github/scripts/rsync.sh
-          ./.github/scripts/rsync.sh ${{ secrets.SSH_LOGIN_USERNAME }} ${{ secrets.REMOTE_SERVER_IP }} ${{ secrets.SSH_PORT }} ${{ github.workspace }}/_build/multiversion/master /srv/sites/docs.aetherproject.org ${{ github.workspace }}/id_rsa
 
-      - run: echo "🍏 This job's status is ${{ job.status }}."
+      - run: echo "🍏 This job's status is ${{ job.status }}."
\ No newline at end of file