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