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 ++++++++++++++++++++
 .github/workflows/test.yml |  5 +++++
 2 files changed, 25 insertions(+)
 create mode 100644 .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
+                }
+            ]
+        }
+    ]
+}
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 61f8e30d..e2a3ea4d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -67,6 +67,9 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
+    - name: Add ert problem matcher
+      run: echo "::add-matcher::.github/ert.json"
+      
     - uses: coq-community/docker-coq-action@v1
       id: docker-coq-action
       with:
@@ -84,3 +87,5 @@ jobs:
           startGroup Run tests
             ./ci/test.sh
           endGroup
+
+  # - run: echo "::remove-matcher owner=ert-problem-matcher::"
-- 
cgit v1.2.3