From 6213b0b2200f9e468f2494c738bdc19cb31ef222 Mon Sep 17 00:00:00 2001 From: Daniel Schwartz-Narbonne Date: Tue, 31 May 2022 18:38:32 -0400 Subject: [PATCH] Cargo changed their format, so we need to change our parsing of version numbers (#1238) --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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