Skip to content

Remove support for CodeQL CLI v2.12.7 and v2.11.6#3371

Merged
charisk merged 3 commits intomainfrom
charisk/remove-old-cli-versions
Feb 16, 2024
Merged

Remove support for CodeQL CLI v2.12.7 and v2.11.6#3371
charisk merged 3 commits intomainfrom
charisk/remove-old-cli-versions

Conversation

@charisk
Copy link
Copy Markdown
Contributor

@charisk charisk commented Feb 16, 2024

Removes support for CodeQL CLI versions under v2.13.5.

If the diff is difficult to review, I'm happy to look at splitting things out a bit in separate commits/PRs.

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@charisk charisk requested review from a team as code owners February 16, 2024 15:52
Copy link
Copy Markdown
Member

@koesie10 koesie10 left a comment

Choose a reason for hiding this comment

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

Thanks!

Co-authored-by: Koen Vlaswinkel <koesie10@users.noreply.github.com>
@charisk charisk enabled auto-merge (squash) February 16, 2024 16:10
@charisk charisk merged commit 60e497a into main Feb 16, 2024
@charisk charisk deleted the charisk/remove-old-cli-versions branch February 16, 2024 16:22
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.

2 participants