From ebd420e8aba0c0f744004b38c6a3b970843a5e58 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 20 Apr 2020 18:06:41 -0700
Subject: [PATCH] ;ci: linux: speed up disk freeing

---
 .github/workflows/linux.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 15488ea99..f894ef0b9 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -138,13 +138,13 @@ jobs:
         sudo rm -f /swapfile
         # 3G:
         sudo apt clean
-        # 3G:
-        docker image ls -aq
-        docker rmi $(docker image ls -aq)
+        # 3G, takes 30s:
+        # docker image ls -aq
+        # docker rmi $(docker image ls -aq)
         # 1G:
         find ~/work/_temp -name "cache.tgz" -exec rm -f {} \;
-        # 4G:
-        sudo rm -rf "/usr/local/share/boost"
+        # 4G, takes 14s:
+        # sudo rm -rf "/usr/local/share/boost"
         # 2G:
         sudo rm -rf "$AGENT_TOOLSDIRECTORY"
         df -h /