Skip to content

Improve the missing CompilerOptions check #853

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.

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

Merged
merged 2 commits into from
May 8, 2025

Conversation

srabraham
Copy link
Contributor

@srabraham srabraham commented May 8, 2025

This mucks with the real code a bit, but it works better and is simpler.

@jakebailey FYI, and I swear I'm done bugging you 😝

See #839 #842

This mucks with the real code a bit, but it works better and is simpler.

See
microsoft#839
microsoft#842
@srabraham srabraham closed this May 8, 2025
@srabraham srabraham reopened this May 8, 2025
@jakebailey jakebailey enabled auto-merge May 8, 2025 16:03
@jakebailey
Copy link
Member

@gabrielluizsf FYI your reviews don't actually have any effect since you don't have merge perms on this repo; if anything they just spam us with notifications we have to ignore. I'd prefer if you didn't just approve every PR on this repo.

@gabrielluizsf
Copy link
Contributor

@gabrielluizsf FYI your reviews don't actually have any effect since you don't have merge perms on this repo; if anything they just spam us with notifications we have to ignore. I'd prefer if you didn't just approve every PR on this repo.

I apologize for any inconvenience caused. My intention was simply to contribute constructively, but I understand that it may have generated unnecessary notifications. I appreciate the feedback and will be more mindful going forward.

@jakebailey jakebailey added this pull request to the merge queue May 8, 2025
Merged via the queue into microsoft:main with commit d262a0e May 8, 2025
44 checks passed
@srabraham srabraham deleted the srabraham-2025-05-08 branch May 8, 2025 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants