[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 0cf8c2649a 3/4: CI test.yml: enable git diff
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general 0cf8c2649a 3/4: CI test.yml: enable git diff in custom coq-emacs images |
Date: |
Mon, 13 May 2024 04:00:30 -0400 (EDT) |
branch: elpa/proof-general
commit 0cf8c2649a5c67a881a1b4617654fef22f86ed3a
Author: Hendrik Tews <hendrik@askra.de>
Commit: hendriktews <hendrik@askra.de>
CI test.yml: enable git diff in custom coq-emacs images
For newer git versions the .git directory must apparently be writable,
otherwise certain git commands complain that they are not inside a
repository.
---
.github/workflows/test.yml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d34064e660..c81ed67bc5 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -166,7 +166,7 @@ jobs:
ocamlc -v
endGroup
startGroup Run tests
- sudo chown -R coq:coq ./ci
+ sudo chown -R coq:coq .
make tests
endGroup
@@ -236,7 +236,7 @@ jobs:
ocamlc -v
endGroup
startGroup Run tests
- sudo chown -R coq:coq ./ci
+ sudo chown -R coq:coq .
make -C ci/compile-tests test
endGroup
@@ -307,7 +307,7 @@ jobs:
ocamlc -v
endGroup
startGroup Run tests
- sudo chown -R coq:coq ./ci
+ sudo chown -R coq:coq .
make -C ci/simple-tests coq-all
endGroup