From 303c961c442416f19f3dfd7d9a89fae270a4daec Mon Sep 17 00:00:00 2001 From: Marc Foley Date: Tue, 13 Dec 2022 17:26:37 +0000 Subject: [PATCH] .ci/run.sh: skip dirs which are not used for hosting fonts cc @chrissimpkins --- .ci/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.ci/run.sh b/.ci/run.sh index 80433f6fe0..03d434c3c3 100644 --- a/.ci/run.sh +++ b/.ci/run.sh @@ -2,8 +2,8 @@ # contain font binaries. # Find directories which contain files that have been altered or added. Also -# Skip /static directories. -CHANGED_DIRS=$(git diff origin/main --dirstat=files --diff-filter d | sed "s/[0-9. ].*%//g" | grep -v "static") +# Skip /static, axisregistry, cc-by-sa and lang directories. +CHANGED_DIRS=$(git diff origin/main --dirstat=files --diff-filter d | sed "s/[0-9. ].*%//g" | grep -v "static\|axisregistry\|cc-by-sa\|lang") OUT=out PR_URL="$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pull/$PR_NUMBER" -- 2.47.2