Free more space with free_disk_space

[LittleHuba]

In communication we still run out of disk space in sanitizer runs.

[AlexanderLanin]

@LittleHuba can you try this please. Do you know how much space is needed? We can easily add more levels here. Currently 4 is the max.

- uses: eclipse-score/more-disk-space@v1
  with:
    level: 4

Here is a comparison to the action you are trying to use: https://github.com/eclipse-score/more-disk-space/blob/main/docs/alternatives.md showing how more-disk-space can clean the same disk space, but many times faster.

[LittleHuba]

Thanks for the hint @AlexanderLanin , I'll give it a try :)

[github-actions]

Thanks for the pull request. This thread has been quiet for 30 days, so we are marking it as stale for now. Please take a quick look and let us know whether it is still up to date, still relevant, needs review, or is ready to merge. Any new activity will remove the stale label automatically. If nothing changes in the next 10 days, we will close it to keep the backlog current.

[github-actions]

We are closing this pull request because it stayed stale for 10 more days without any new activity. If this is still relevant, please reopen it or open a fresh pull request when you are ready, and we will pick it up from there.