Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[backport] Workaround failing official builds #75998

Merged
merged 1 commit into from
Nov 20, 2024

Conversation

JoeRobich
Copy link
Member

Backport #75898

@JoeRobich JoeRobich requested a review from a team as a code owner November 20, 2024 22:39
@dotnet-issue-labeler dotnet-issue-labeler bot 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.

@jaredpar jaredpar merged commit fa36e1a into release/dev17.12 Nov 20, 2024
3 of 14 checks passed
@jaredpar jaredpar deleted the dev/jorobich/backport-75898 branch November 20, 2024 22:43
# for free to join this conversation on GitHub. Already have an account? # 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