]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #16557 from rgacogne/ddist-run-clippy
authorRemi Gacogne <remi.gacogne@powerdns.com>
Thu, 27 Nov 2025 13:10:58 +0000 (14:10 +0100)
committerGitHub <noreply@github.com>
Thu, 27 Nov 2025 13:10:58 +0000 (14:10 +0100)
dnsdist: Run clippy when `CARGO_USE_DEV` and `CARGO_USE_CLIPPY` are set


Trivial merge