From 0900ec031136973bba0d832d2b16caee1851694c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 25 Sep 2023 08:52:14 -0700 Subject: [PATCH] Fix CI (#35) Work around https://github.com/actions/checkout/issues/766 --- .github/workflows/coq.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index c9d6d2823d..f4585fc080 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -88,7 +88,9 @@ jobs: echo "::group::echo | coqtop" true | coqtop echo "::endgroup::" - sudo chmod -R a+rw . + sudo chmod -R a=u . + # Work around https://github.com/actions/checkout/issues/766 + git config --global --add safe.directory "*" echo '::group::make -j2 TIMED=1' make -j2 TIMED=1 echo '::endgroup::'