From cf3830b43593c43171281e5034bee59df3fb20a1 Mon Sep 17 00:00:00 2001 From: Nick Mills-Barrett Date: Sun, 25 Feb 2024 20:29:52 +0000 Subject: [PATCH] Fetch tags after clone to fix build public docs script --- .github/workflows/docs.yml | 3 +++ scripts/build_public_docs.sh | 3 +++ 2 files changed, 6 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 5abd1d071..b9b01ee26 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -16,6 +16,9 @@ jobs: - name: Clone Source Repository uses: actions/checkout@v3 + - name: Fetch git tags + run: git fetch --tags origin + - name: Clone Generated Repository uses: actions/checkout@v3 with: diff --git a/scripts/build_public_docs.sh b/scripts/build_public_docs.sh index 049ceef6e..c780ef818 100755 --- a/scripts/build_public_docs.sh +++ b/scripts/build_public_docs.sh @@ -11,6 +11,9 @@ LATEST_BRANCH="2.x" BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD) TAG_NAME=$(git tag --points-at HEAD) +echo "branch=${BRANCH_NAME}" +echo "tag=${TAG_NAME}" + if [ "${BRANCH_NAME}" = "${NEXT_BRANCH}" ]; then echo "Building next docs (${NEXT_BRANCH})" env DOCS_VERSION=next sphinx-build -a docs/ docs/public/en/next/