From 5cc379fde09edf0753be8d8a871ca5a3003913f7 Mon Sep 17 00:00:00 2001 From: Bernhard B Date: Sun, 9 Aug 2026 21:39:35 +0200 Subject: [PATCH] only (re-)build github pages documentation when a new release is published see #872 --- .github/workflows/deploy-pages.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml index 686dc20..829cb2d 100644 --- a/.github/workflows/deploy-pages.yml +++ b/.github/workflows/deploy-pages.yml @@ -1,7 +1,9 @@ name: Deploy API Docs to GitHub Pages on: - push: + release: + types: + - published permissions: contents: read @@ -24,8 +26,7 @@ jobs: - name: Build static documentation bundle run: | - VERSION=$(git describe --tags --always) - src/docs/build-static-bundle.sh site "$VERSION" + src/docs/build-static-bundle.sh site "${{ github.event.release.tag_name }}" - name: Upload Pages artifact uses: actions/upload-pages-artifact@v5