From 9e844dc5ac6dd93af3d9a5ad3353d1b6062e6151 Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Thu, 1 Feb 2024 18:07:10 +0100 Subject: [PATCH] prevent "fatal: gc is already running" errors --- .github/ci/build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/ci/build.sh b/.github/ci/build.sh index 8b47d09..e7c48f3 100755 --- a/.github/ci/build.sh +++ b/.github/ci/build.sh @@ -4,6 +4,9 @@ set -euxo pipefail +# prevent "fatal: gc is already running" errors +git config --global gc.autoDetach false + export RUSTUP_HOME=/ci/cache/rustup export CARGO_HOME=/ci/cache/cargo export CARGO_TARGET_DIR=/ci/cache/target