From fc5d0b8c5099cb345a37817a9caa6a9e39844a46 Mon Sep 17 00:00:00 2001 From: Marc Foley Date: Tue, 30 May 2023 17:03:33 +0100 Subject: [PATCH] .ci/run.py: add MODIFIED_FONTS token if fonts deleted from family --- .ci/run.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/run.py b/.ci/run.py index fedc54d847..f7abebe88c 100644 --- a/.ci/run.py +++ b/.ci/run.py @@ -63,7 +63,7 @@ def directory_check_types(branch="origin/main"): if path.endswith((".ttf", ".otf")) and state == "A": dir_tokens.add(CheckToken.NEW_FONT) - if path.endswith((".ttf", ".otf")) and state == "M": + if path.endswith((".ttf", ".otf")) and (state == "M" or state == "D"): dir_tokens.add(CheckToken.MODIFIED_FONTS) if path.endswith((".txt", ".pb", ".html")) and state == "M": -- 2.47.2