diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ee13f86a93..f9d322294e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -39,10 +39,13 @@ jobs: # When we're running in a merge queue, never assume that the changes # are docs-only, as there could be other PRs in the group that # contain non-docs changes. + echo "Running in the merge queue" echo "docs_only=false" >> $GITHUB_OUTPUT elif git diff --name-only ${{ github.event.pull_request.base.sha }} ${{ github.sha }} | grep -qvE '^docs/'; then + echo "Detected non-docs changes" echo "docs_only=false" >> $GITHUB_OUTPUT else + echo "Docs-only change" echo "docs_only=true" >> $GITHUB_OUTPUT fi