Merge 43811dd6bd into 0a44ba7841

2024-09-19 17:18:48 +02:00 · 2024-09-19 17:18:48 +02:00 · 37d0f772b9
parent 0a44ba7841 43811dd6bd
commit 37d0f772b9
1 changed files with 1 additions and 1 deletions
--- a/.github/eslint-compact.json
+++ b/.github/eslint-compact.json
@ -4,7 +4,7 @@
            "owner": "eslint-compact",
            "pattern": [
                {
-                    "regexp": "^(.+):\\sline\\s(\\d+),\\scol\\s(\\d+),\\s(Error|Warning|Info)\\s-\\s(.+)\\s\\((.+)\\)$",
+                    "regexp": "^(.+):\\sline\\s(\\d+),\\scol\\s(\\d+),\\s([Ee]rror|[Ww]arning|[Ii]nfo)\\s-\\s(.+)\\s\\((.+)\\)$",
                    "file": 1,
                    "line": 2,
                    "column": 3,