From 51ad0641e421b109f8855c0d23ec31b4bdb1ef96 Mon Sep 17 00:00:00 2001
From: tannevaled <tannevaled@users.noreply.github.com>
Date: Sat, 7 Nov 2026 12:12:18 +0100
Subject: [PATCH] docs.yml: wait for the Pages build of the pushed gh-pages
 commit

The deploy job of docs.yml now runs pagesbuild on the gh-pages commit it
pushed (only when something was pushed). GitHub's legacy "pages build and
deployment" sometimes stalls in updating_pages and times out, and a green
push is then not a published site; pagesbuild waits for a build of that
commit, requests a new one when needed, and fails the job if the site is
still not built.

Same change as go-redfish/docs#11 (merge 1beaa7d), made by pagesbuildadd:
'pages: write' on the deploy job, 'id: push' and the pushed SHA as an output
of "Push gh-pages", and a "Wait for the Pages build" step running
pagesbuild@v0.80.0. Proven in production by https://github.com/go-redfish/docs/actions/runs/42268708918:
pagesbuild requested a rebuild after a 5 minute stall and the commit was
built two minutes later.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 .github/workflows/docs.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index a3dfd06..e580c98 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -106,6 +106,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      pages: write
     steps:
       - uses: actions/checkout@v7
         with:
@@ -150,6 +151,7 @@ jobs:
           "${{ needs.build.outputs.version }}" site gh-pages
 
       - name: Push gh-pages
+        id: push
         working-directory: gh-pages
         run: |
           git config user.name  "github-actions[bot]"
@@ -161,3 +163,22 @@ jobs:
           fi
           git commit -q -m "Deployed ${GITHUB_SHA::7} to ${{ needs.build.outputs.version }} with Hugo ${HUGO_VERSION}"
           git push origin HEAD:gh-pages
+          echo "sha=$(git rev-parse HEAD)" >> "$GITHUB_OUTPUT"
+
+      # ⛔ A GREEN PUSH IS NOT A PUBLISHED SITE. GitHub's legacy "pages build and
+      # deployment" for the gh-pages branch sometimes stalls in updating_pages and
+      # fails with "Timeout reached, aborting!" after 10 minutes (3 times on
+      # 2026-11-05/06, runs 42058763350 and 42252993462); re-running it does not
+      # help and re-running this workflow pushes nothing. pagesbuild waits for a
+      # build of the pushed commit to be "built", requests a new one when it is
+      # not, and fails this job if the site is still not built.
+      - name: Wait for the Pages build
+        if: steps.push.outputs.sha != ''
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          umask 077
+          printf '%s' "${GH_TOKEN}" > "${RUNNER_TEMP}/pages-token"
+          go run github.com/go-fleettools/fleettools/cmd/pagesbuild@v0.80.0 \
+            --token-file "${RUNNER_TEMP}/pages-token" \
+            "${GITHUB_REPOSITORY}" "${{ steps.push.outputs.sha }}"