Skip to content

[backport] Workaround failing official builds #75998

Merged
jaredpar merged 1 commit intorelease/dev17.12from
dev/jorobich/backport-75898
Nov 20, 2024
Merged

[backport] Workaround failing official builds #75998
jaredpar merged 1 commit intorelease/dev17.12from
dev/jorobich/backport-75898

Conversation

@JoeRobich
Copy link
Member

Backport #75898

@JoeRobich JoeRobich requested a review from a team as a code owner November 20, 2024 22:39
@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead labels Nov 20, 2024
@JoeRobich
Copy link
Member Author

@jaredpar Could you force merge? This is blocking the official build to fix for CodeStyle analyzer defaults.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants