On Fri, May 15, 2020 at 03:16:38PM +0200, Alban Gruin wrote:
>
> This happens on my machine, as well as on github.
could you point me to a failed github report?, also would the patch I posted
earlier (better with the following on top) help?
Carlo
-- >8 --
diff --git a/ci/git-problem-matcher.json b/ci/git-problem-matcher.json
index e10e88bba1..6d7424441b 100644
--- a/ci/git-problem-matcher.json
+++ b/ci/git-problem-matcher.json
@@ -4,7 +4,7 @@
"owner": "git-test-suite",
"pattern": [
{
- "regexp": "^(.*)(error|warning|info):\\([^ :]+\\.sh):(\\d+)\\)$",
+ "regexp": "^(.*)\\((error|warning|info):([^ :]+\\.sh):(\\d+)\\)$",
"file": 3,
"line": 4,
"severity": 2,
