Skip to content

Conversation

@gaius-qi
Copy link
Member

@gaius-qi gaius-qi commented Jul 1, 2022

Signed-off-by: Gaius [email protected]

Description

  • Update codeql version.

Related Issue

Motivation and Context

Screenshots (if appropriate)

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Documentation Update (if none of the other choices apply)

Checklist

  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.
  • I have read the CONTRIBUTING document.
  • I have added tests to cover my changes.

@gaius-qi gaius-qi requested a review from a team as a code owner July 1, 2022 10:04
@gaius-qi gaius-qi self-assigned this Jul 1, 2022
@gaius-qi gaius-qi merged commit d380344 into main Jul 1, 2022
@gaius-qi gaius-qi deleted the feature/update-codeql branch July 1, 2022 10:40
gaius-qi added a commit that referenced this pull request Jun 28, 2023
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