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