diff --git a/.ci/run-pr b/.ci/run-pr index b5e76b00b..0e4660834 100755 --- a/.ci/run-pr +++ b/.ci/run-pr @@ -11,7 +11,7 @@ set -eu changed_docs() { local commit_ish="$1" - git diff-tree -r --name-only --diff-filter=ACMR "$commit_ish" -- '*.md' | xargs + git diff-tree -r --name-only --diff-filter=ACMR "$commit_ish" -- ':!.ci/' ':!.github/' '*.md' | xargs } # determine commit range @@ -52,4 +52,4 @@ if [ -n "$failed_mds" ]; then elif [ -z "$successful_mds" ]; then print -s1 -c3 'No docs found to be built.' -fi \ No newline at end of file +fi