From 107c351b8405cb9308263ae4fb2489cd5495984e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 29 Aug 2024 22:54:20 -0700 Subject: [PATCH] [CI] [Debian] sudo work around broken git config (#1949) So that the sudo make install step also works --- .github/workflows/coq-debian.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml index 037f0430e3..5b7ec81e32 100644 --- a/.github/workflows/coq-debian.yml +++ b/.github/workflows/coq-debian.yml @@ -38,7 +38,9 @@ jobs: with: submodules: recursive - name: work around broken git config - run: git config --global --add safe.directory "*" + run: | + git config --global --add safe.directory "*" + sudo git config --global --add safe.directory "*" - name: container build params run: etc/ci/describe-system-config.sh - name: make deps