From dedfb26ad416d42a0201f90f41707fd38300edb9 Mon Sep 17 00:00:00 2001 From: Daniel Duan Date: Fri, 20 Dec 2024 09:29:37 +0800 Subject: [PATCH] [Fix][Docker] Workflow "push-docker" failed run with error "No space left on device" (#8339) --- tools/github/free_disk_space.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/github/free_disk_space.sh b/tools/github/free_disk_space.sh index 7e35be93f30..f9eee621f0c 100755 --- a/tools/github/free_disk_space.sh +++ b/tools/github/free_disk_space.sh @@ -32,14 +32,17 @@ sudo apt-get remove -y '^mysql-.*' sudo apt-get remove -y azure-cli google-cloud-sdk hhvm google-chrome-stable firefox powershell mono-devel libgl1-mesa-dri sudo apt-get autoremove -y sudo apt-get clean +echo "Disk space before cleanup:" df -h echo "Removing large directories" - sudo rm -rf /usr/share/dotnet/ sudo rm -rf /usr/local/graalvm/ sudo rm -rf /usr/local/.ghcup/ sudo rm -rf /usr/local/share/powershell sudo rm -rf /usr/local/share/chromium +sudo rm -rf /usr/local/share/boost sudo rm -rf /usr/local/lib/android sudo rm -rf /usr/local/lib/node_modules +sudo rm -rf /opt/hostedtoolcache/CodeQL +sudo rm -rf /opt/ghc df -h \ No newline at end of file