]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #43345 from nextcloud/bugfix/noid/utilize-low-res-pool
authorJoas Schilling <213943+nickvergessen@users.noreply.github.com>
Mon, 5 Feb 2024 10:07:33 +0000 (11:07 +0100)
committerGitHub <noreply@github.com>
Mon, 5 Feb 2024 10:07:33 +0000 (11:07 +0100)
feat(CI): Utilize low-resource pool for changes and summaries


Trivial merge