diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 22dac5ed0..18e1573c5 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -130,27 +130,28 @@ jobs: restore-keys: | ${{ runner.os }}-hledger-web-stack-work-${{ matrix.plan.ghc }} + # 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 / + # - 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: