Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Disable CodeQL in unofficial builds #72302

Merged
merged 1 commit into from
Mar 1, 2024
Merged

Disable CodeQL in unofficial builds #72302

merged 1 commit into from
Mar 1, 2024

Conversation

jjonescz
Copy link
Member

It was disabling shared compilation, making the builds timeout (only when it actually executed - once every 72 hours).

@jjonescz jjonescz requested a review from jaredpar February 28, 2024 13:00
@jjonescz jjonescz requested a review from a team as a code owner February 28, 2024 13:00
@dotnet-issue-labeler dotnet-issue-labeler bot added the untriaged Issues and PRs which have not yet been triaged by a lead label Feb 28, 2024
@jjonescz jjonescz mentioned this pull request Feb 28, 2024
Merged
@jjonescz
Copy link
Member Author

@jaredpar @dotnet/roslyn-infrastructure PTAL, thanks

@jjonescz jjonescz enabled auto-merge (squash) March 1, 2024 09:41
@jjonescz jjonescz merged commit 06d3f15 into dotnet:main Mar 1, 2024
27 checks passed
@jjonescz jjonescz deleted the codeql branch March 1, 2024 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jaredpar jaredpar jaredpar approved these changes

Assignees
No one assigned
Labels
Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jjonescz @jaredpar