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: Exclude external files for CodeQL #499

Closed
wants to merge 1 commit into from
Closed

CI: Exclude external files for CodeQL #499

wants to merge 1 commit into from

Conversation

jserv
Copy link
Contributor

@jserv jserv commented Oct 10, 2024

No description provided.

@jserv jserv force-pushed the codeql-ignore branch 2 times, most recently from f5bcf60 to 1fc75b4 Compare October 10, 2024 18:20
@jserv jserv changed the title CI: Exclude external files for CodeQL: CI: Exclude external files for CodeQL Oct 10, 2024
@jserv
Copy link
Contributor Author

jserv commented Oct 10, 2024

Use standard CodeQL scanning.

@jserv jserv closed this Oct 10, 2024
@jserv jserv deleted the codeql-ignore branch October 10, 2024 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant