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(ci): switch to GitHub default CodeQL (remove our job) #310

Merged
merged 1 commit into from
Nov 11, 2024

Conversation

DerekRoberts
Copy link
Member

@DerekRoberts DerekRoberts commented Nov 11, 2024

Switch to GitHub default CodeQL, so we don't have to maintain our own 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 merged commit eb896ea into main Nov 11, 2024
12 of 17 checks passed
@DerekRoberts DerekRoberts deleted the ci/defaultCodeQL branch November 11, 2024 19:03
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