From 74982be8ec4c15661dc9e74abcde85102ea3b343 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Wed, 29 Apr 2020 01:30:14 +0200
Subject: ci: Build all branches for now

TODO: revert this commit before creating a Pull Request
---
 .github/workflows/test.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 984f0cc5..61f8e30d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -3,8 +3,9 @@ name: CI
 on:
   push:
     branches:
-      - master
-      - hybrid
+      #- master
+      #- hybrid
+      - "**"
   pull_request:
     branches:
       - '**'
-- 
cgit v1.2.3


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

(limited to '.github')

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


From 31108dc120285765142b2bb4f44f34febbe79188 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 1 May 2020 03:36:27 +0200
Subject: fix: add some "sudo chown coq:coq" command

* This should solve the "(buffer-read-only #<buffer test1.v>)" error,
  probably due to permission issues.
---
 .github/workflows/test.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index e2a3ea4d..db4bb766 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -85,6 +85,7 @@ jobs:
             sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs
           endGroup
           startGroup Run tests
+            sudo chown -R coq:coq ./ci
             ./ci/test.sh
           endGroup
 
-- 
cgit v1.2.3


From f3e0245173bae40c132f049b8352a41d4c08ab48 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 4 May 2020 14:26:04 +0200
Subject: fix: ert.json

* The zone between "Test ... condition:" & "FAILED ..." can have more
  than 1 line!
---
 .github/ert.json | 6 ------
 1 file changed, 6 deletions(-)

(limited to '.github')

diff --git a/.github/ert.json b/.github/ert.json
index df68cf26..02dc5548 100644
--- a/.github/ert.json
+++ b/.github/ert.json
@@ -4,12 +4,6 @@
             "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