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

ci: use GH default CodeQL (remove our job) #209

Merged
merged 1 commit into from
Nov 11, 2024
Merged

Conversation

DerekRoberts
Copy link
Member

@DerekRoberts DerekRoberts commented Nov 11, 2024

Use GitHub provided CodeQL, replacing our custom job.


Thanks for the PR!

Deployments, as required, will be available below:

Please create PRs in draft mode. Mark as ready to enable:

After merge, new images are deployed in:

@DerekRoberts DerekRoberts self-assigned this Nov 11, 2024
@DerekRoberts DerekRoberts added the enhancement New feature or request label Nov 11, 2024
@DerekRoberts DerekRoberts enabled auto-merge (squash) November 11, 2024 18:11
@DerekRoberts DerekRoberts merged commit 4ba9bf0 into main Nov 11, 2024
10 of 11 checks passed
@DerekRoberts DerekRoberts deleted the ci/defaultCodeQL branch November 11, 2024 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

1 participant