Update .github/workflows/update-subtree.yml

Co-authored-by: Carolyn Zech <cmzech@amazon.com>
model-checking · Mar 3, 2025 · 10db0ba · 10db0ba
1 parent 2c019d9
commit 10db0ba
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml
@@ -143,7 +143,10 @@ jobs:
         sed -i "s/^channel = \"nightly-.*\"/channel = \"nightly-${NEXT_TOOLCHAIN_DATE}\"/" rust-toolchain.toml
         git -c user.name=gitbot -c user.email=git@bot \
           commit -m "Update toolchain to ${NEXT_TOOLCHAIN_DATE}" rust-toolchain.toml
-
+        # Update kani-version.toml with the new Kani commit hash
+        sed -i "s/commit = .*/commit = \"${KANI_COMMIT_HASH}\"/" tool_config/kani-version.toml
+        git -c user.name=gitbot -c user.email=git@bot \
+          commit -m "Update Kani version to ${KANI_COMMIT_HASH}" tool_config/kani-version.toml
     - name: Create Pull Request without conflicts
       if: ${{ env.MERGE_CONFLICTS == 'no' && env.MERGE_PR_EXISTS == 'no' }}
       uses: peter-evans/create-pull-request@v7