Merge pull request #2932 from TheBlueMatt/2023-04-ci-fix
authorElias Rohrer <dev@tnull.de>
Thu, 14 Mar 2024 09:57:23 +0000 (09:57 +0000)
committerGitHub <noreply@github.com>
Thu, 14 Mar 2024 09:57:23 +0000 (09:57 +0000)
Avoid new "out of disk space" issues in CI


Trivial merge