From ca464fb067729e5b9a8cb0de3cf400abe1c4fb4b Mon Sep 17 00:00:00 2001 From: Mike Nachbaur Date: Tue, 23 Jul 2024 11:01:24 -0700 Subject: [PATCH] Fix github pages documentation generation for tagged releases --- .github/workflows/documentation-ghpages.yaml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/documentation-ghpages.yaml b/.github/workflows/documentation-ghpages.yaml index 60c62f80a..be814c0ac 100644 --- a/.github/workflows/documentation-ghpages.yaml +++ b/.github/workflows/documentation-ghpages.yaml @@ -4,6 +4,8 @@ on: push: branches: - master + tags: + - '*' env: DEVELOPER_DIR: /Applications/Xcode_15.3.app/Contents/Developer @@ -26,8 +28,8 @@ jobs: - name: Build Documentation run: | set +ex - VERSION=$(git describe --tags 2>/dev/null) - if [[ $? -ne 0 ]]; then + VERSION=${{ github.ref_name }} + if [[ "$VERSION" = "master" ]]; then VERSION=development fi set -e