From: Marc Foley Date: Thu, 14 Mar 2024 13:37:30 +0000 (+0000) Subject: .ci/run: skip article directories X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F7382%2Fhead;p=thirdparty%2Fgoogle%2Ffonts.git .ci/run: skip article directories --- diff --git a/.ci/run.py b/.ci/run.py index e0e15b3f22..978659334d 100644 --- a/.ci/run.py +++ b/.ci/run.py @@ -52,6 +52,9 @@ def directory_check_types(branch="origin/main"): if path not in ("to_sandbox.txt", "to_production.txt") else path ) + # skip article directories. These should be checked on github + if os.path.basename(dirpath) == "article": + continue dir_tokens = directories_to_check[dirpath] if path.startswith("catalog"):