Try within kani dir

jaisnan · Jul 26, 2024 · 694b305 · 694b305
1 parent f881132
commit 694b305
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml
@@ -38,7 +38,7 @@ jobs:
         id: toolchain-date
         run: |
           cd kani/
-          TOOLCHAIN_DATE=$(grep 'date =' kani/rust-toolchain.toml | sed 's/.*"\(.*\)".*/\1/')
+          TOOLCHAIN_DATE=$(grep 'date =' rust-toolchain.toml | sed 's/.*"\(.*\)".*/\1/')
           echo "toolchain_date=$TOOLCHAIN_DATE" >> $GITHUB_OUTPUT
 
       - name: Build `Kani`
@@ -48,6 +48,7 @@ jobs:
           echo "$(pwd)/scripts" >> $GITHUB_PATH
 
       - name: Get Rust info
+        working-directory: kani
         id: rust-info
         run: |
           RUSTC_INFO=$(rustc --version --verbose)