abonerib/hydra-config
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

nosv: remove coverage

Browse Source
This commit is contained in:
Aleix Boné 2025-10-13 11:52:51 +02:00
parent 7899f69ea7
commit f42bbec43f
No known key found for this signature in database
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
release.nix
View File

@ -67,17 +67,15 @@ in
inherit tarballs;
coverage.nosv = pkgs.releaseTools.coverageAnalysis {
name = "nosv-coverage";
inherit (pkgs.nosv) src;
lcovFilter = [ "*/tests/*" ];
};
sanitized.nosv = pkgs.nosv.overrideAttrs (old: {
configureFlags = [
configureFlags = (old.configureFlags or []) ++ [
"--enable-asan"
];
});
sanitized.nosv-ubsan = pkgs.nosv.overrideAttrs (old: {
configureFlags = (old.configureFlags or []) ++ [
"--enable-ubsan"
];
# CFLAGS = "-Werror";
});
}