From 2dbd3c0bf1d91da67dfb50c659cbe0da275f2524 Mon Sep 17 00:00:00 2001 From: SteveGilham Date: Thu, 13 Jun 2024 20:19:21 +0100 Subject: [PATCH] Fix filter --- Build/targets.fs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Build/targets.fs b/Build/targets.fs index cf217c75..82bc8692 100644 --- a/Build/targets.fs +++ b/Build/targets.fs @@ -8142,7 +8142,8 @@ module Targets = |> List.filter (fun (x, _) -> Path .GetFileName(x) - .Equals("coverage.cobertura.xml", StringComparison.Ordinal)) + .Equals("coverage.cobertura.xml", StringComparison.Ordinal) + |> not) |> List.filter (fun x -> let root = (snd x).Root