Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix Clippy lints not causing CI workflow failure
It's easy to miss them out if CI is not aborted on a Clippy lint, and this behavior change was an unintended regression when CodeQL integration was added, so let's change it back.
- Loading branch information