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/workflows')

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/workflows/test.yml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to '.github/workflows')

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/workflows')

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