diff --git a/.github/workflows/docker_linux.yml b/.github/workflows/docker_linux.yml index 5db9a19cf6..ef071c6c27 100644 --- a/.github/workflows/docker_linux.yml +++ b/.github/workflows/docker_linux.yml @@ -48,6 +48,22 @@ jobs: - name: Checkout repository uses: actions/checkout@v4 + - 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: true + haskell: true + large-packages: true + docker-images: true + swap-storage: true + - name: Set up Docker Buildx uses: docker/setup-buildx-action@v3