Alejandro González 61deab369b 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.		2024-07-28 16:11:36 +02:00
..
workflows	Fix Clippy lints not causing CI workflow failure	2024-07-28 16:11:36 +02:00
dependabot.yml	Create dependabot.yml for action updates	2023-05-19 18:03:24 -04:00