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: