aboutsummaryrefslogtreecommitdiff
path: root/.github/ert.json
diff options
context:
space:
mode:
Diffstat (limited to '.github/ert.json')
-rw-r--r--.github/ert.json20
1 files changed, 20 insertions, 0 deletions
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
+ }
+ ]
+ }
+ ]
+}