Cargo changed their format, so we need to change our parsing of versi…

…on numbers (#1238)
model-checking · May 31, 2022 · 6213b0b · 6213b0b
1 parent 58043f7
commit 6213b0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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