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