Skip to content

Conversation

ViktorHofer
Copy link
Member

Fixes the official build break. Regressed with #106590

Fixes the official build break. Regressed with #106590
@ViktorHofer ViktorHofer requested a review from lewing August 19, 2024 15:40
@ViktorHofer ViktorHofer self-assigned this Aug 19, 2024
@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Aug 19, 2024
@ViktorHofer ViktorHofer marked this pull request as ready for review August 19, 2024 15:40
@ViktorHofer
Copy link
Member Author

This path isn't exercised in CI. Merging.

@ViktorHofer ViktorHofer merged commit 67631f5 into main Aug 19, 2024
16 checks passed
@ViktorHofer ViktorHofer deleted the ViktorHofer-patch-3 branch August 19, 2024 16:40
@github-actions github-actions bot locked and limited conversation to collaborators Sep 19, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants