Skip to content

Respect buildflavor in build.ps1 -vs switch - #97975

Merged
ViktorHofer merged 1 commit into
mainfrom
ViktorHofer-patch-2
Feb 5, 2024
Merged

Respect buildflavor in build.ps1 -vs switch#97975
ViktorHofer merged 1 commit into
mainfrom
ViktorHofer-patch-2

Conversation

@ViktorHofer

@ViktorHoferViktorHofer commented Feb 5, 2024

Copy link
Copy Markdown
Member

No description provided.

@ViktorHoferViktorHofer self-assigned this Feb 5, 2024
@ghostghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Feb 5, 2024
@ViktorHoferViktorHofer mentioned this pull request Feb 5, 2024
Merged
radekdoulik
radekdoulik approved these changes Feb 5, 2024
View reviewed changes

@radekdoulikradekdoulik left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ViktorHofer

ViktorHofer commented Feb 5, 2024

Copy link
Copy Markdown
MemberAuthor

Merging. This code path isn't exercised in CI.

@ViktorHofer
ViktorHofer merged commit db3f0ef into mainFeb 5, 2024
@ViktorHofer
ViktorHofer deleted the ViktorHofer-patch-2 branch February 5, 2024 13:05
This was referenced Feb 6, 2024
Open
Closed
Closed
Open
Closed
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Mar 7, 2024
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@pavelsavarapavelsavarapavelsavara approved these changes
@radekdoulikradekdoulikradekdoulik approved these changes
@akoeplingerakoeplingerAwaiting requested review from akoeplinger

Assignees

@ViktorHoferViktorHofer

Labels

needs-area-labelAn area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@ViktorHofer@pavelsavara@radekdoulik