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