From c1a6ba39ec569f54bd9fb394b5e35be6469856d4 Mon Sep 17 00:00:00 2001
From: naliyi <154817482+naliyi@users.noreply.github.com>
Date: Mon, 21 Sep 2026 22:30:35 +0000
Subject: [PATCH] ci: rebuild docs after a release so the header shows the new
 version

The docs header reads the latest release at build time. The push build
runs on merge, before the release exists, so the header lagged one
release behind. Rebuild when the Release workflow completes.
---
 .github/workflows/pages.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 4931d46..ce443d7 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -9,10 +9,16 @@ on:
       - CHANGELOG.md
       - docs/public/**
       - .github/workflows/pages.yml
+  # The header shows the latest release, read at build time. The push build
+  # runs before a release exists, so rebuild once Release finishes.
+  workflow_run:
+    workflows: [Release]
+    types: [completed]
   workflow_dispatch:
 
 jobs:
   docs:
+    if: ${{ github.event_name != 'workflow_run' || github.event.workflow_run.conclusion == 'success' }}
     # Must be granted here, not inside build-docs.yml itself — a reusable
     # workflow can't self-grant pages/id-token when called cross-repo.
     permissions: