Another attempt to fix the docker CI (#1578)

mit-plv · Mar 22, 2023 · 7756345 · 7756345
1 parent f9f0ed5
commit 7756345
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/etc/ci/github-actions-docker-make.sh b/etc/ci/github-actions-docker-make.sh
@@ -10,6 +10,8 @@ if [ -z "${EXTRA_PACKAGES+x}" ]; then
 fi
 
 sudo chmod -R a=u .
+# Work around https://github.com/actions/checkout/issues/766
+git config --global --add safe.directory "*"
 echo '::group::install general dependencies'
 sudo apt-get update -y
 sudo apt-get install -y python python3 bsdmainutils ${EXTRA_PACKAGES}