From fb4aa96d8c9abb183d7f107f155af64e6385ff9e Mon Sep 17 00:00:00 2001 From: bob Date: Fri, 9 Feb 2024 23:31:30 +0100 Subject: [PATCH] [.github] - Free disk space --- .github/workflows/dd-build.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/dd-build.yml b/.github/workflows/dd-build.yml index 0fa6ca5aaee9c..2e1e58bb9415d 100644 --- a/.github/workflows/dd-build.yml +++ b/.github/workflows/dd-build.yml @@ -37,8 +37,9 @@ jobs: sudo rm -rf /usr/local/share/boost sudo rm -rf "$AGENT_TOOLSDIRECTORY" - sudo apt list --installed |grep julia - sudo apt list --installed |grep haskell + sudo dpkg -l |grep julia + sudo dpkg -l |grep haskell + - name: df shell: bash run: df -h