fix release version

informalsystems · Oct 12, 2024 · c60b419 · c60b419
1 parent 3875506
commit c60b419
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -70,11 +70,12 @@ jobs:
       # Deno can't compile local npm projects. Use the npm release from last step.
       - name: Compile with Deno from NPM Release
         run: |
+          VERSION="$(echo ${{ github.ref_name }} | sed 's/^v//')"
           deno compile \
             --allow-all \
             --target "${{ matrix.config.target }}" \
             --output "quint-${{ matrix.config.suffix }}" \
-            "npm:@informalsystems/quint@${{ github.ref_name }}"
+            "npm:@informalsystems/quint@${VERSION}"
 
       - name: Generate SHA256 Hash
         run: |