Use kani as workdir

jaisnan · Jul 26, 2024 · bfd8cb1 · bfd8cb1
1 parent 694b305
commit bfd8cb1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml
@@ -35,9 +35,8 @@ jobs:
           ref: features/verify-rust-std
 
       - name: Read date from rust-toolchain.toml
-        id: toolchain-date
+        working-directory: kani
         run: |
-          cd kani/
           TOOLCHAIN_DATE=$(grep 'date =' rust-toolchain.toml | sed 's/.*"\(.*\)".*/\1/')
           echo "toolchain_date=$TOOLCHAIN_DATE" >> $GITHUB_OUTPUT