diff --git a/tvix/default.nix b/tvix/default.nix index 5f5242957..dc1d4015b 100644 --- a/tvix/default.nix +++ b/tvix/default.nix @@ -223,7 +223,7 @@ in rustPlatform.cargoSetupHook ]; - buildPhase = "cargo clippy --tests --all-features -- -Dwarnings | tee $out"; + buildPhase = "cargo clippy --tests --all-features --benches --examples -- -Dwarnings | tee $out"; }; meta.ci.targets = [