diff options
-rw-r--r-- | scripts/dev/ci/problemmatchers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/ci/problemmatchers.py b/scripts/dev/ci/problemmatchers.py index 083945051..cc423f922 100644 --- a/scripts/dev/ci/problemmatchers.py +++ b/scripts/dev/ci/problemmatchers.py @@ -188,7 +188,7 @@ MATCHERS = { "severity": "error", "pattern": [ { - "regexp": r'^([^:]+):(\d+): \033[34m(Found .*)\033[0m', + "regexp": r'^([^:]+):(\d+): \033\[34m(Found .*)\033\[0m', "file": 1, "line": 2, "message": 3, |