diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index f515d34..b56bc7d 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -20,16 +20,20 @@ jobs: id-token: write steps: - - name: Maximize build space - uses: easimon/maximize-build-space@master + - name: Free Disk Space (Ubuntu) + uses: jlumbroso/free-disk-space@main with: - # 50 Gb - root-reserve-mb: 51200 - remove-dotnet: true - remove-android: true - remove-haskell: true - remove-codeql: true - remove-docker-images: false + # 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