From ae6295da17f131af36991695f38c87349e5da053 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 17 Apr 2022 07:45:25 -1000
Subject: [PATCH] ;ci: pull: cleanup

---
 .github/workflows/pull.yml | 23 -----------------------
 1 file changed, 23 deletions(-)

diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index 66ece9249..61ab3d08f 100644
--- a/.github/workflows/pull.yml
+++ b/.github/workflows/pull.yml
@@ -171,29 +171,6 @@ jobs:
              ${{ runner.os }}-hledger-web-stack-work-${{ matrix.plan.ghc }}
       if: env.CONTINUE
 
-    # no longer needed I think
-    # For now due to
-    # https://github.com/actions/virtual-environments/issues/709
-    # there's only 4.8G free at this point, and we must free up space.
-    # - name: Free disk space
-    #   run: |
-    #     df -h /
-    #     # 8G:
-    #     sudo swapoff -a
-    #     sudo rm -f /swapfile
-    #     # 3G:
-    #     sudo apt clean
-    #     # 3G, takes 30s:
-    #     # docker image ls -aq
-    #     # docker rmi $(docker image ls -aq)
-    #     # 1G:
-    #     find ~/work/_temp -name "cache.tgz" -exec rm -f {} \;
-    #     # 4G, takes 14s:
-    #     # sudo rm -rf "/usr/local/share/boost"
-    #     # 2G:
-    #     sudo rm -rf "$AGENT_TOOLSDIRECTORY"
-    #     df -h /
-
     # actions:
 
     - name: Install stack