Skip to content

Conversation

@jkotas
Copy link
Member

@jkotas jkotas commented Dec 17, 2022

This change makes the condition that select Windows vs. Linux build machine identical between official and public builds.

This change makes the condition that select Windows vs. Linux build machine identical between official and public builds.
@ghost
Copy link

ghost commented Dec 17, 2022

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries
See info in area-owners.md if you want to be subscribed.

Issue Details

This change makes the condition that select Windows vs. Linux build machine identical between official and public builds.

Author: jkotas
Assignees: jkotas
Labels:

area-Infrastructure-libraries

Milestone: -

@jkotas
Copy link
Member Author

jkotas commented Dec 17, 2022

We have run into this mismatch in runtimelab (official builds that were supposed to run on Windows were scheduled to Linux pool - dotnet/runtimelab#2120 (comment)).

@jkotas jkotas merged commit 8355deb into dotnet:main Dec 23, 2022
@jkotas jkotas deleted the fix-officialbuild-pools branch December 26, 2022 22:23
@ghost ghost locked as resolved and limited conversation to collaborators Jan 26, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants