Fix for STORM_VERSION by taking the STORM_GIT_TAG (#292)

Author: volkm

.github/workflows/release.yml

@@ -23,8 +23,8 @@ jobs:
       - name: Get Storm version
         id: getVersion
         run: |
-          # Get Storm version from set(STORM_MIN_VERSION "x.y.z") in CMakeLists.txt
-          echo "STORM_VERSION=$(sed -n -E 's/\s*set\(STORM_MIN_VERSION "(.+)"\)/\1/p' CMakeLists.txt)" >> "$GITHUB_OUTPUT"
+          # Get Storm version from STORM_GIT_TAG in pyproject.toml
+          echo "STORM_VERSION=$(sed -n -E 's/STORM_GIT_TAG="(.+)"/\1/p' pyproject.toml)" >> "$GITHUB_OUTPUT"
 
   deploy_docker:
     # Create Docker images for tag