[Fix][Docker] Workflow "push-docker" failed run with error "No space …

…left on device" (#8339)

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