From 444f8f092c67021dbab1d827d269e9a1c65eb9b8 Mon Sep 17 00:00:00 2001 From: Meng Zhang Date: Fri, 13 Oct 2023 19:01:51 -0700 Subject: [PATCH] chore: add free-disk step for docker build --- .github/workflows/docker.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 24b52fa85f6d..c4a92662e845 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -25,6 +25,21 @@ jobs: id-token: write 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: true + + # all of these default to true, but feel free to set to + # "false" if necessary for your workflow + android: true + dotnet: true + haskell: true + large-packages: false + swap-storage: true + - name: Checkout repository uses: actions/checkout@v3 with: