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

Update default CodeQL to 2.9.2 #1074

Merged
merged 1 commit into from
May 16, 2022
Merged

Update default CodeQL to 2.9.2 #1074

merged 1 commit into from
May 16, 2022

Conversation

edoardopirovano
Copy link
Contributor

@edoardopirovano edoardopirovano commented May 12, 2022

Bumps the default CodeQL to 2.9.2.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.
  • Confirm the changelog has been updated if necessary.

@edoardopirovano edoardopirovano added the DO NOT MERGE This pull request should not be merged yet label May 12, 2022
@edoardopirovano edoardopirovano requested a review from a team as a code owner May 12, 2022 17:24
Copy link
Contributor

@henrymercer henrymercer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to merge as per the release process

@edoardopirovano edoardopirovano removed the DO NOT MERGE This pull request should not be merged yet label May 16, 2022
@edoardopirovano edoardopirovano merged commit 657c2f3 into main May 16, 2022
@edoardopirovano edoardopirovano deleted the edoardo/2.9.2-update branch May 16, 2022 13:22
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants