From 97ca1f86bd517cf282aa66a2bcb67a44c79c60a6 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Thu, 5 Dec 2024 13:32:22 +0000
Subject: [PATCH] chore(deps): update dependency dotnet-coverage to 17.13.1

---
 .config/dotnet-tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 0bb4a636f..f43e6e7e4 100755
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -15,7 +15,7 @@
       ]
     },
     "dotnet-coverage": {
-      "version": "17.10.3",
+      "version": "17.13.1",
       "commands": [
         "dotnet-coverage"
       ]