bugfix: Add extracting release tag

Author: tgodzik

.github/workflows/ci.yaml

@@ -701,6 +701,10 @@ jobs:
       - name: Add SBT proxy repositories
         run: cp -vf .github/workflows/repositories /root/.sbt/ ; true
 
+      # Extract the release tag
+      - name: Extract the release tag
+        run : echo "RELEASE_TAG=${GITHUB_REF#*refs/tags/}" >> $GITHUB_ENV
+
       - name: Check compiler version
         shell: bash
         run : |