From 10db0ba52ea98353186ff1efa547d7ca17ef8651 Mon Sep 17 00:00:00 2001 From: thanhnguyen-aws Date: Mon, 3 Mar 2025 11:43:24 -0800 Subject: [PATCH] Update .github/workflows/update-subtree.yml Co-authored-by: Carolyn Zech --- .github/workflows/update-subtree.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml index ce9fba9dd89b..391a0c9bee1e 100644 --- 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