Skip to content

Conversation

AndriySvyryd
Copy link
Member

Remove CodeQL references from the public definition

Remove CodeQL references from the public definition
@AndriySvyryd AndriySvyryd requested a review from maumar October 28, 2024 23:18
@AndriySvyryd AndriySvyryd added the * NO MERGE * Do not merge this PR as long as this label is present. label Nov 1, 2024
@SamMonoRT
Copy link
Member

Do we understand why other checks didn't run? I was trying to verify if BinSkim ran successfully and we have results to validate the changes of version update

@AndriySvyryd
Copy link
Member Author

Do we understand why other checks didn't run?

Yes, there was an AzDO outage

@AndriySvyryd AndriySvyryd marked this pull request as draft February 3, 2025 18:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
* NO MERGE * Do not merge this PR as long as this label is present.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants