From ed2eeccfcbc883c90d8bb2d3c8c627a070d22aef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonin=20D=C3=A9cimo?= Date: Mon, 7 Nov 2022 09:18:49 +0100 Subject: [PATCH] Free more space in the GHA runner --- .run-gha-tests.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.run-gha-tests.sh b/.run-gha-tests.sh index 6d709acb..1675e6c0 100755 --- a/.run-gha-tests.sh +++ b/.run-gha-tests.sh @@ -2,6 +2,13 @@ set -eux export OPAMYES=true +# Free some space +# https://github.com/actions/runner-images/issues/2840#issuecomment-790492173 +sudo rm -rf /usr/share/dotnet +sudo rm -rf /opt/ghc +sudo rm -rf "/usr/local/share/boost" +sudo rm -rf "$AGENT_TOOLSDIRECTORY" + sudo chmod a+x /usr/local/bin/runc sudo sh -c "cat > /usr/local/bin/uname" << EOF @@ -86,4 +93,3 @@ case "$1" in printf "Usage: .run-gha-tests.sh [btrfs|rsync|zfs]" >&2 exit 1 esac -