From 455718fac9699560cb3f1d305bd90c06e9b8eba6 Mon Sep 17 00:00:00 2001
From: Jonathan Goldfarb <jgoldfar@gmail.com>
Date: Sun, 7 Jun 2026 23:35:35 -0700
Subject: [PATCH] Use actions-provided pages functionality instead of a
 third-party action

---
 .github/workflows/gh-pages.yml | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 35ca5d08..53edadb3 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -16,6 +16,9 @@ jobs:
     runs-on: ${{ matrix.platform }}
     concurrency:
       group: ${{ github.workflow }}-${{ github.ref }}
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
     steps:
       - name: Checkout the repository to generate the site
         uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6
@@ -30,9 +33,12 @@ jobs:
         run: |
           make generate-min
 
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@f4984ce547e7de88896c1d092ae7e008fed5ba31 # v4
+      - name: Upload Pages artifact
+        uses: actions/upload-pages-artifact@98ef48e41587a300b82de4cf298aa98b57b2faae # v5.0.0
         if: (github.ref == 'refs/heads/main' && matrix.platform == 'ubuntu-24.04')
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./public
+          path: public
+
+      - name: Deploy
+        if: (github.ref == 'refs/heads/main' && matrix.platform == 'ubuntu-24.04')
+        uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v4