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): use default CodeQL #346

Merged
merged 1 commit into from
May 22, 2024
Merged

chore(ci): use default CodeQL #346

merged 1 commit into from
May 22, 2024

Conversation

DerekRoberts
Copy link
Member

@DerekRoberts DerekRoberts commented May 22, 2024


Thanks for the PR!

Any successful deployments (not always required) will be available below.
API available
Frontend available

Once merged, code will be promoted and handed off to following workflow run.
Main Merge Workflow

@DerekRoberts DerekRoberts self-assigned this May 22, 2024
@DerekRoberts DerekRoberts added the github_actions Pull requests that update GitHub Actions code label May 22, 2024
@DerekRoberts DerekRoberts enabled auto-merge (squash) May 22, 2024 04:47
@DerekRoberts DerekRoberts merged commit 80fe4ad into main May 22, 2024
9 checks passed
@DerekRoberts DerekRoberts deleted the chore/ci/defaultCodeQL branch May 22, 2024 04:49
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
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants