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

chore: codeql setup #676

Merged
merged 4 commits into from
Jan 26, 2024
Merged

chore: codeql setup #676

merged 4 commits into from
Jan 26, 2024

Conversation

lechnerc77
Copy link
Member

Purpose

Does this introduce a breaking change?

[ ] Yes
[X] No

Pull Request Type

What kind of change does this Pull Request introduce?

[ ] Bugfix
[ ] Feature
[ ] Refactoring (no functional changes, no api changes)
[ ] Documentation content changes
[X] Other... Please describe: GitHub workflow Setup

Checklist for reviewer

The following organizational tasks must be completed before merging this PR:

  • The PR is assigned to the Terraform project and a status is set (typically "in review").
  • The PR has the matching labels assigned to it.
  • The PR has a milestone assigned to it.
  • If the PR closes an issue, the issue is referenced.
  • Possible follow-up items are created and linked.

@lechnerc77 lechnerc77 added github_actions Pull requests that update GitHub Actions code ignore-for-release All things not to be mentioned in release notes labels Jan 25, 2024
@lechnerc77 lechnerc77 added this to the 1.0.0 milestone Jan 25, 2024
@lechnerc77 lechnerc77 self-assigned this Jan 25, 2024
@lechnerc77 lechnerc77 enabled auto-merge (squash) January 25, 2024 14:27
Copy link
Contributor

@rui1610 rui1610 left a comment

Choose a reason for hiding this comment

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

lgtm

@lechnerc77 lechnerc77 merged commit a1ea8b0 into main Jan 26, 2024
14 checks passed
@lechnerc77 lechnerc77 deleted the codeql branch January 26, 2024 06:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github_actions Pull requests that update GitHub Actions code ignore-for-release All things not to be mentioned in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants