Skip to content

Post-release preparation for codeql-cli-2.15.3 #14823

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

Merged
merged 6 commits into from
Nov 19, 2023

Conversation

codeql-ci
Copy link
Collaborator

This PR merges back all of the changes from the release of codeql-cli-2.15.3. And it bumps the version version strings in semmle-code in preparation for the next release of 2.15.4.

github-actions[bot] and others added 2 commits November 16, 2023 13:07
aibaars
aibaars previously approved these changes Nov 16, 2023
@aibaars aibaars marked this pull request as ready for review November 16, 2023 17:48
@aibaars aibaars requested review from a team as code owners November 16, 2023 17:48
@michaelnebel
Copy link
Contributor

michaelnebel commented Nov 17, 2023

The failing C# integration tests on main will be fixed in this PR: #14825 (as has nothing to do with the mergeback).

michaelnebel
michaelnebel previously approved these changes Nov 17, 2023
Copy link
Contributor

@michaelnebel michaelnebel left a comment

Choose a reason for hiding this comment

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

C# 👍

@codeql-ci codeql-ci force-pushed the post-release-prep/codeql-cli-2.15.3 branch from a37c870 to cc1829b Compare November 17, 2023 09:25
@codeql-ci codeql-ci dismissed stale reviews from aibaars and michaelnebel via bad499e November 17, 2023 14:35
@codeql-ci codeql-ci force-pushed the post-release-prep/codeql-cli-2.15.3 branch from cc1829b to bad499e Compare November 17, 2023 14:35
@aibaars aibaars merged commit db180d9 into main Nov 19, 2023
@aibaars aibaars deleted the post-release-prep/codeql-cli-2.15.3 branch November 19, 2023 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants