Parse regex with path

jaisnan · Jul 26, 2024 · 1da9134 · 1da9134
1 parent 30d39c4
commit 1da9134
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml
@@ -37,7 +37,11 @@ jobs:
       - name: Read date from rust-toolchain.toml
         working-directory: kani
         run: |
-          TOOLCHAIN_DATE=$(grep 'channel.*=.*"nightly-' rust-toolchain.toml | sed -E 's/.*nightly-([0-9-]+).*/\1/')
+          TOOLCHAIN_DATE=$(grep 'channel.*=.*"nightly-' ./rust-toolchain.toml | sed -E 's/.*nightly-([0-9-]+).*/\1/')
+          if [ -z "$TOOLCHAIN_DATE" ]; then
+            echo "Error: Could not extract date from rust-toolchain file."
+            exit 1
+          fi
           echo "toolchain_date=$TOOLCHAIN_DATE" >> $GITHUB_OUTPUT
 
       - name: Build `Kani`