diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 55db1a0a7083..b7f19e9e91d9 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -22,7 +22,7 @@ jobs:
       - name: Get version
         run: |
           # pkgid is something like file:///home/ubuntu/kani#kani-verifier:0.1.0
-          echo "CRATE_VERSION=$(cargo pkgid | cut -d: -f3)" >> $GITHUB_ENV
+          echo "CRATE_VERSION=$(cargo pkgid | cut -d@ -f2)" >> $GITHUB_ENV
           # GITHUB_REF is refs/tags/kani-0.1.0
           echo "TAG_VERSION=$(echo ${{ github.ref }} | cut -d "-" -f 2)" >> $GITHUB_ENV
           # Note that the above env vars get set for future steps, not this one