From f42bbec43f584113ec08fe826dda9f0b37680507 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aleix=20Bon=C3=A9?= Date: Mon, 13 Oct 2025 11:52:51 +0200 Subject: [PATCH] nosv: remove coverage --- release.nix | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/release.nix b/release.nix index 4ee34d7..0cc89ab 100644 --- a/release.nix +++ b/release.nix @@ -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 = [ - "--enable-asan " + configureFlags = (old.configureFlags or []) ++ [ + "--enable-asan" + ]; + }); + + sanitized.nosv-ubsan = pkgs.nosv.overrideAttrs (old: { + configureFlags = (old.configureFlags or []) ++ [ "--enable-ubsan" ]; - # CFLAGS = "-Werror"; }); }