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

build: update codeql action from v2 to v3 #3237

Merged
merged 1 commit into from
Nov 25, 2024

Conversation

DavideMininni-Fincons
Copy link
Contributor

@github-actions github-actions bot added target: 1.x pr: peer review required A peer review is required for this pull request labels Nov 25, 2024
Copy link
Contributor

@jeripeierSBB jeripeierSBB left a comment

Choose a reason for hiding this comment

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

LGTM

@github-actions github-actions bot added the pr: lead review approved Pull request has been approved by a lead review label Nov 25, 2024
@github-actions github-actions bot requested a deployment to pr3237 November 25, 2024 09:07 In progress
@github-actions github-actions bot temporarily deployed to pr3237-diff November 25, 2024 09:07 Inactive
@DavideMininni-Fincons DavideMininni-Fincons merged commit ce3de6a into main Nov 25, 2024
26 checks passed
@DavideMininni-Fincons DavideMininni-Fincons deleted the build/update-codeql-action branch November 25, 2024 09:10
@github-actions github-actions bot removed the pr: peer review required A peer review is required for this pull request label Nov 25, 2024
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.

2 participants