Skip to content

Update CodeQL submodule#280

Merged
mbg merged 1 commit intomainfrom
update-codeql-submodule-25214389739-1
May 1, 2026
Merged

Update CodeQL submodule#280
mbg merged 1 commit intomainfrom
update-codeql-submodule-25214389739-1

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 1, 2026

Submodule pointer updated from github/codeql@868ccfb to github/codeql@310c41e.

@mbg mbg marked this pull request as ready for review May 1, 2026 12:38
@mbg mbg requested a review from a team as a code owner May 1, 2026 12:38
Copilot AI review requested due to automatic review settings May 1, 2026 12:38
@mbg mbg merged commit 73106b5 into main May 1, 2026
5 checks passed
@mbg mbg deleted the update-codeql-submodule-25214389739-1 branch May 1, 2026 12:39
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Updates the repository’s pinned github/codeql submodule revision so this starter workspace tracks the newer lgtm.com branch state of CodeQL.

Changes:

  • Bumps the ql git submodule pointer from 868ccfbb044e7ff8bff5bcaafd4b5511a500ca23 to 310c41ed3de8488d018ff37fbd9efe3326c775b1.
Show a summary per file
File Description
ql (git submodule) Advances the pinned CodeQL submodule commit to a newer upstream revision.

Copilot's findings

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

  • Files reviewed: 1/1 changed files
  • Comments generated: 0

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