.ci/run.sh: skip dirs which are not used for hosting fonts

cc @chrissimpkins

diff --git a/.ci/run.sh b/.ci/run.sh
index 80433f6fe0c03641e648ebc06394d572111334ed..03d434c3c36117a433c2dc076fbaad609448e91f 100644 (file)
--- 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"