From 3f282499c3dcdad2c58b9d11829e55a47d96441b Mon Sep 17 00:00:00 2001 From: Sean Morgan Date: Sun, 15 Oct 2023 18:01:35 -0700 Subject: [PATCH] Clear more disk-space --- .github/workflows/make_wheel_Linux_x86.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/make_wheel_Linux_x86.sh b/.github/workflows/make_wheel_Linux_x86.sh index c76289c9eb..0826adfab3 100644 --- a/.github/workflows/make_wheel_Linux_x86.sh +++ b/.github/workflows/make_wheel_Linux_x86.sh @@ -2,8 +2,12 @@ set -e -x df -h docker info + # to get more disk space -rm -rf /usr/share/dotnet & +rm -rf "$AGENT_TOOLSDIRECTORY" & +rm -rf /opt/ghc & +rm -rf "/usr/local/share/boost" & +rm -rf /usr/share/dotnet # Tests are ran as part of make_wheel target DOCKER_BUILDKIT=1 docker build \