bugfix: Add extracting release tag

Author: tgodzik

.github/workflows/ci.yaml

@@ -95,6 +95,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: Test
         # DON'T add dist/pack!
         # Adding dist/pack bootstraps the compiler