aboutsummaryrefslogtreecommitdiff
path: root/.github/ert.json
diff options
context:
space:
mode:
authorErik Martin-Dorel2020-05-01 02:27:31 +0200
committerErik Martin-Dorel2020-05-01 02:54:28 +0200
commit5d3ca2c07392c36f9caea67bbbc4c14661c8fa08 (patch)
treed8a82298f007aef2229117c68e07f94f91e464be /.github/ert.json
parent42c5e4cc7dd34232d5e73192d989ea1cdb24b33f (diff)
test: Add ert-problem-matcher for CI workflow
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
+ }
+ ]
+ }
+ ]
+}