[Fix][Docker] Workflow ''push-docker" failed run with error "No space left on device" apache#8339

Author: FrommyMind

tools/github/free_disk_space.sh

@@ -32,8 +32,6 @@ 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
-df -h
-echo "Removing large directories"
 
 sudo rm -rf /usr/share/dotnet/
 sudo rm -rf /usr/local/graalvm/
@@ -42,4 +40,8 @@ sudo rm -rf /usr/local/share/powershell
 sudo rm -rf /usr/local/share/chromium
 sudo rm -rf /usr/local/lib/android
 sudo rm -rf /usr/local/lib/node_modules
-df -h
+sudo rm -rf /opt/hostedtoolcache/CodeQL
+sudo rm -rf /opt/ghc
+sudo rm -rf /usr/local/share/boost
+df -h
+echo "Removing large directories"