Merge pull request #2664 from TheBlueMatt/2023-10-ci-disk-usage
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Mon, 16 Oct 2023 14:56:34 +0000 (14:56 +0000)
committerGitHub <noreply@github.com>
Mon, 16 Oct 2023 14:56:34 +0000 (14:56 +0000)
Reduce disk usage in CI


Trivial merge