I'm not sure about the availability of more resources but something like
merge queue might be able to help.
https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue
This presentation has an overview -
https://www.youtube.com/watch?v=04TTRJArpVw.
On 3/31/2023 6:08 PM, Rebecca Cran wrote:
I've been wondering, is it possible to increase the parallelism or add
more resources to the CI runner pool?
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#102335): https://edk2.groups.io/g/devel/message/102335
Mute This Topic: https://groups.io/mt/97979483/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-
