try free up stuff

.github/runner_free_space.sh

@@ -0,0 +1,38 @@
+#!/bin/bash
+set -eux
+
+# From https://stackoverflow.com/a/76211564
+
+# TODO(eric.cousineau): Try using
+# https://github.com/easimon/maximize-build-space
+
+df -h
+
+sudo docker rmi $(docker image ls -aq) >/dev/null 2>&1 || true
+sudo rm -rf \
+  /usr/share/dotnet /usr/local/lib/android /opt/ghc \
+  /usr/local/share/powershell /usr/share/swift /usr/local/.ghcup \
+  /usr/lib/jvm || true
+echo "some directories deleted"
+sudo apt install aptitude -y >/dev/null 2>&1
+sudo aptitude purge aria2 ansible azure-cli shellcheck rpm xorriso zsync \
+  esl-erlang firefox gfortran-8 gfortran-9 google-chrome-stable \
+  google-cloud-sdk imagemagick \
+  libmagickcore-dev libmagickwand-dev libmagic-dev ant ant-optional kubectl \
+  mercurial apt-transport-https mono-complete libmysqlclient \
+  unixodbc-dev yarn chrpath libssl-dev libxft-dev \
+  libfreetype6 libfreetype6-dev libfontconfig1 libfontconfig1-dev \
+  snmp pollinate libpq-dev postgresql-client powershell ruby-full \
+  sphinxsearch subversion mongodb-org azure-cli microsoft-edge-stable \
+  -y -f >/dev/null 2>&1
+sudo aptitude purge google-cloud-sdk -f -y >/dev/null 2>&1
+sudo aptitude purge microsoft-edge-stable -f -y >/dev/null 2>&1 || true
+sudo apt purge microsoft-edge-stable -f -y >/dev/null 2>&1 || true
+sudo aptitude purge '~n ^mysql' -f -y >/dev/null 2>&1
+sudo aptitude purge '~n ^php' -f -y >/dev/null 2>&1
+sudo aptitude purge '~n ^dotnet' -f -y >/dev/null 2>&1
+sudo apt-get autoremove -y >/dev/null 2>&1
+sudo apt-get autoclean -y >/dev/null 2>&1
+echo "some packages purged"
+
+df -h

.github/workflows/bazelized_drake_ros.yml

@@ -18,6 +18,9 @@ jobs:
       - name: Show disk space
         run: df -h
 
+      - name: Free up space
+        run: .github/runner_free_space.sh
+
       - uses: actions/checkout@v3
 
       # Caching.