diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index ce4b4b06cf44e..d6de3c3906d40 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -544,7 +544,9 @@ jobs: node-version: "20" - name: Check if configs.md has been modified run: | + set -x # If you encounter an error, run './dev/update_config_docs.sh' and commit + false ./dev/update_config_docs.sh git diff --exit-code