Try to workaround empty GITHUB_REF bug of GitHub runners

pymc-devs · Jan 17, 2024 · cddbf05 · cddbf05
1 parent a0b1775
commit cddbf05
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -36,6 +36,7 @@ jobs:
         python setup.py sdist bdist_wheel
     - name: Check version number match
       run: |
+        export GITHUB_REF=refs/tags/${{ github.event.release.tag_name }}
         echo "GITHUB_REF: ${GITHUB_REF}"
         # Make sure the package version is the same as the tag
         grep -Rq "^Version: ${GITHUB_REF:11}$" mcbackend.egg-info/PKG-INFO