;ci: linux: tight disk space has been resolved I think

This commit is contained in:
Simon Michael 2020-07-11 09:21:23 -07:00
parent 31038e2888
commit d1a5bd7fa2

View File

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