From 8259c9bb34bcaff899f7d073008a643f37fee804 Mon Sep 17 00:00:00 2001 From: bob Date: Fri, 9 Feb 2024 23:29:52 +0100 Subject: [PATCH] [.github] - Free disk space --- .github/workflows/dd-build.yml | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/.github/workflows/dd-build.yml b/.github/workflows/dd-build.yml index 580ed56b6a4e9..0fa6ca5aaee9c 100644 --- a/.github/workflows/dd-build.yml +++ b/.github/workflows/dd-build.yml @@ -36,13 +36,7 @@ jobs: sudo rm -rf /opt/ghc sudo rm -rf /usr/local/share/boost sudo rm -rf "$AGENT_TOOLSDIRECTORY" - echo ### var ### - sudo du -hd1 /var/lib - echo ### home ### - sudo du -hd1 /home/runner - echo ### usr ### - sudo du -hd1 /usr/local - + sudo apt list --installed |grep julia sudo apt list --installed |grep haskell - name: df