emacs-elpa-diffs
[Top][All Lists]
Advanced

[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
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]