Skip to content

Second attempt at automatic pool provider selection #12417

Merged
MattGal merged 2 commits intodotnet:mainfrom
MattGal:pool-provider-selection-again
Feb 3, 2023
Merged

Second attempt at automatic pool provider selection #12417
MattGal merged 2 commits intodotnet:mainfrom
MattGal:pool-provider-selection-again

Conversation

@MattGal
Copy link
Member

@MattGal MattGal commented Feb 2, 2023

Another attempt at addressing #10839 , suggested by @akoeplinger .

I will be experimenting with this and testing with it tomorrow. The risk is quite low, since the old logic didn't actually work for anything but scheduled / batched builds.

To double check:

@MattGal MattGal closed this Feb 2, 2023
@MattGal MattGal reopened this Feb 2, 2023
@MattGal MattGal enabled auto-merge (squash) February 3, 2023 00:07
@MattGal MattGal merged commit afa0b37 into dotnet:main Feb 3, 2023
@akoeplinger akoeplinger mentioned this pull request Feb 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants