fix: repair release workflow

.github/workflows/release.yml

@@ -1,13 +1,13 @@
 name: Release
 
-# Triggered when a version tag is pushed (e.g. v1.0.2).
+# Triggered when a version tag is pushed (e.g. v1.0.3).
 # Creates a GitHub Release marked as "published", which in turn
 # triggers the build-wheels and publish jobs in CI.yml.
 
 on:
   push:
     tags:
-      - "v[0-9]+.[0-9]+.[0-9]+"
+      - "v*.*.*"
 
 permissions:
   contents: write
@@ -25,6 +25,10 @@ jobs:
         id: version
         run: |
           VERSION="${GITHUB_REF_NAME#v}"
+          if ! [[ "$VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+([-.][0-9A-Za-z.]+)?$ ]]; then
+            echo "Expected a semantic-version tag like v1.0.3 or v1.0.3-rc1, got: $GITHUB_REF_NAME"
+            exit 1
+          fi
           echo "version=$VERSION" >> "$GITHUB_OUTPUT"
 
       - name: Extract changelog entry for this version