Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: CodeQL job needs to run on merge queue (#86)
Otherwise we cannot make it a required check. And also let it run on workflow dispatch because why not. --- By submitting this pull request, I confirm that my contribution is made under the terms of the Apache-2.0 license
- Loading branch information