From 5d3ca2c07392c36f9caea67bbbc4c14661c8fa08 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 1 May 2020 02:27:31 +0200
Subject: test: Add ert-problem-matcher for CI workflow

---
 .github/ert.json | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .github/ert.json

(limited to '.github/ert.json')

diff --git a/.github/ert.json b/.github/ert.json
new file mode 100644
index 00000000..df68cf26
--- /dev/null
+++ b/.github/ert.json
@@ -0,0 +1,20 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "ert-problem-matcher",
+            "severity": "error",
+            "pattern": [
+                {
+                    "regexp": "^Test\\s+(.*?)\\s+condition:$"
+                },
+                {
+                    "regexp": "^\\s+(.*)$"
+                },
+                {
+                    "regexp": "^\\s+((?:FAILED|failed|SKIPPED|skipped|ABORTED|aborted|QUIT|quit)\\s+[0-9]+/[0-9]+\\s+.*)$",
+                    "message": 1
+                }
+            ]
+        }
+    ]
+}
-- 
cgit v1.2.3


From f3e0245173bae40c132f049b8352a41d4c08ab48 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 4 May 2020 14:26:04 +0200
Subject: fix: ert.json

* The zone between "Test ... condition:" & "FAILED ..." can have more
  than 1 line!
---
 .github/ert.json | 6 ------
 1 file changed, 6 deletions(-)

(limited to '.github/ert.json')

diff --git a/.github/ert.json b/.github/ert.json
index df68cf26..02dc5548 100644
--- a/.github/ert.json
+++ b/.github/ert.json
@@ -4,12 +4,6 @@
             "owner": "ert-problem-matcher",
             "severity": "error",
             "pattern": [
-                {
-                    "regexp": "^Test\\s+(.*?)\\s+condition:$"
-                },
-                {
-                    "regexp": "^\\s+(.*)$"
-                },
                 {
                     "regexp": "^\\s+((?:FAILED|failed|SKIPPED|skipped|ABORTED|aborted|QUIT|quit)\\s+[0-9]+/[0-9]+\\s+.*)$",
                     "message": 1
-- 
cgit v1.2.3