From 38dd9313fa4c20f730ed8e704593798ec9a86cc3 Mon Sep 17 00:00:00 2001 From: minenice55 Date: Sun, 30 Jul 2023 21:48:39 -0400 Subject: [PATCH] clear out unused tools before run --- .github/workflows/build.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b60ae0a4..e4f8553b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -18,6 +18,22 @@ jobs: - StandaloneLinux64 steps: + - name: Free Disk Space (Ubuntu) + uses: jlumbroso/free-disk-space@main + with: + # this might remove tools that are actually needed, + # if set to "true" but frees about 6 GB + tool-cache: false + + # all of these default to true, but feel free to set to + # "false" if necessary for your workflow + android: true + dotnet: false + haskell: true + large-packages: true + docker-images: false + swap-storage: true + - name: Checkout repository uses: actions/checkout@v3 # with: