]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
.ci/run: skip article directories 7382/head
authorMarc Foley <m.foley.88@gmail.com>
Thu, 14 Mar 2024 13:37:30 +0000 (13:37 +0000)
committerMarc Foley <m.foley.88@gmail.com>
Thu, 14 Mar 2024 13:39:07 +0000 (13:39 +0000)
.ci/run.py

index e0e15b3f226213908306dbd1bcf2615e07875eb5..978659334d8ee105c1fe32b0b0c1cb9bc3d8ba7b 100644 (file)
@@ -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"):