From 5490933e4110e6e35031db0e331d0871839e6f0a Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 6 Apr 2024 08:54:48 +0200 Subject: [PATCH] Fix TestLocalToolchain jobs for release push (#3131) Upon pushing a release tag, we use the numeric version instead of "latest", which made `kani-latest` a non-existent folder. See https://github.com/model-checking/kani/actions/runs/8574249138 for such an example. Use the `version` variable instead, which will be set to "latest" or the numeric version as appropriate. --- .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 04ac4d20280b..4ae93c291484 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -136,7 +136,7 @@ jobs: - name: Get toolchain version used to setup kani run: | tar zxvf ${{ matrix.prev_job.bundle }} - DATE=$(cat ./kani-latest/rust-toolchain-version | cut -d'-' -f2,3,4) + DATE=$(cat ./kani-${{ matrix.prev_job.version }}/rust-toolchain-version | cut -d'-' -f2,3,4) echo "Nightly date: $DATE" echo "DATE=$DATE" >> $GITHUB_ENV