From 694b305f6a090e0fa2570ba519df057dabff54d3 Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <jaisnan@amazon.com>
Date: Fri, 26 Jul 2024 17:54:50 +0000
Subject: [PATCH] Try within kani dir

---
 .github/workflows/update-subtree.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml
index a2a0a773be3a2..96d68d4c337d3 100644
--- 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)