Free more space in the GHA runner

Author: MisterDA

.run-gha-tests.sh

@@ -2,6 +2,13 @@
 set -eux
 export OPAMYES=true
 
+# Free some space
+# https://github.com/actions/runner-images/issues/2840#issuecomment-790492173
+sudo rm -rf /usr/share/dotnet
+sudo rm -rf /opt/ghc
+sudo rm -rf "/usr/local/share/boost"
+sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+
 sudo chmod a+x /usr/local/bin/runc
 
 sudo sh -c "cat > /usr/local/bin/uname" << EOF
@@ -86,4 +93,3 @@ case "$1" in
         printf "Usage: .run-gha-tests.sh [btrfs|rsync|zfs]" >&2
         exit 1
 esac
-