Skip to content

Disable based on #40034 - #40035

Merged
jashook merged 1 commit into
dotnet:masterfrom
jashook:disable_formatting_job
Jul 28, 2020
Merged

Disable based on #40034#40035
jashook merged 1 commit into
dotnet:masterfrom
jashook:disable_formatting_job

Conversation

@jashook

Copy link
Copy Markdown
Contributor

@safern ptal

/cc @dotnet/jit-contrib

@jashook
jashook requested a review from safernJuly 28, 2020 19:20
@Dotnet-GitSync-BotDotnet-GitSync-Bot added the area-Infrastructure-coreclr Only use for closed issues label Jul 28, 2020
@BruceForstall

Copy link
Copy Markdown
Contributor

#40034

@jashook
jashook merged commit 1a61fa0 into dotnet:masterJul 28, 2020
@jashook
jashook deleted the disable_formatting_job branch July 28, 2020 22:38
@oooooliviaooooolivia mentioned this pull request Jul 29, 2020
Jacksondr5 pushed a commit to Jacksondr5/runtime that referenced this pull request Aug 10, 2020
@karelzkarelz added this to the 5.0.0 milestone Aug 18, 2020
@ghostghost locked as resolved and limited conversation to collaborators Dec 8, 2020
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Infrastructure-coreclrOnly use for closed issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@jashook@BruceForstall@safern@karelz@Dotnet-GitSync-Bot