Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update default bundle to 2.13.1 #1664

Merged
merged 4 commits into from May 4, 2023
Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented May 1, 2023

This pull request updates the default CodeQL bundle, as used with tools: latest and on GHES, to 2.13.1.

@dbartol dbartol marked this pull request as ready for review May 1, 2023 03:48
@dbartol dbartol requested a review from a team as a code owner May 1, 2023 03:48
aeisenberg
aeisenberg previously approved these changes May 1, 2023
dbartol
dbartol previously approved these changes May 3, 2023
Copy link
Contributor

@dbartol dbartol left a comment

Choose a reason for hiding this comment

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

Re-approving after resolving merge conflict in changelog

@dbartol dbartol enabled auto-merge May 3, 2023 23:03
@dbartol dbartol marked this pull request as draft May 4, 2023 01:06
auto-merge was automatically disabled May 4, 2023 01:06

Pull request was converted to draft

@dbartol dbartol marked this pull request as ready for review May 4, 2023 01:06
@dbartol dbartol force-pushed the update-bundle/codeql-bundle-20230428 branch from c7d0178 to f72bf5d Compare May 4, 2023 01:43
Copy link
Contributor

@dbartol dbartol left a comment

Choose a reason for hiding this comment

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

Re-approving after fixing YAML format issues

@dbartol dbartol enabled auto-merge May 4, 2023 04:19
@dbartol dbartol merged commit 318bcc7 into main May 4, 2023
345 checks passed
@dbartol dbartol deleted the update-bundle/codeql-bundle-20230428 branch May 4, 2023 04:32
@github-actions github-actions bot mentioned this pull request May 4, 2023
6 tasks
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.

None yet

2 participants