File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4949 DEVELOP_BRANCH : develop
5050 CI_BRANCH : ${{ github.head_ref || github.ref_name }}
5151 IS_RELEASE_TAG : ${{ startsWith(github.ref, 'refs/tags/v') }}
52- RELEASE_VERSION : ${{ github.ref_name }}
5352 GITHUB_REPOSITORY : ${{ github.repository }}
5453 NOTEBOOKS_DIR : tutorials
5554 DEV_DEPLOYMENT_URL :
@@ -73,14 +72,18 @@ jobs:
7372 # main.html template. It defines the versioned docs subfolder name
7473 # in the gh-pages branch. If it's a release tag, use the version
7574 # number without the 'v' prefix, otherwise use 'dev'.
76- - name : Set DOCS_VERSION env variable (docs version folder)
75+ - name : Set extra env variables
7776 shell : bash
7877 run : |
7978 if [[ "${IS_RELEASE_TAG}" == "true" ]]; then
80- echo "DOCS_VERSION=${RELEASE_VERSION#v}" >> "$GITHUB_ENV"
79+ RELEASE_VERSION="${GITHUB_REF_NAME}"
80+ DOCS_VERSION="${RELEASE_VERSION#v}"
8181 else
82- echo "DOCS_VERSION=dev" >> "$GITHUB_ENV"
82+ RELEASE_VERSION="${CI_BRANCH}"
83+ DOCS_VERSION="dev"
8384 fi
85+ echo "RELEASE_VERSION=${RELEASE_VERSION}" >> "$GITHUB_ENV"
86+ echo "DOCS_VERSION=${DOCS_VERSION}" >> "$GITHUB_ENV"
8487
8588 - name : Check-out repository
8689 uses : actions/checkout@v5
You can’t perform that action at this time.
0 commit comments