Fix file path for rust rust-toolchain-version

model-checking · Mar 20, 2024 · 12698e1 · 12698e1
1 parent 5d1f9fd
commit 12698e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-setup.yml b/.github/workflows/check-setup.yml
@@ -130,7 +130,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-latest/rust-toolchain-version | cut -d'-' -f2,3,4)
           echo "Nightly date: $DATE"
           echo "DATE=$DATE" >> $GITHUB_ENV