diff options
author | Marco Rossignoli <marco.rossignoli@gmail.com> | 2022-02-07 17:49:00 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-07 17:49:00 +0300 |
commit | 931b70a51abb3261e3a19b4240f9757473d4d397 (patch) | |
tree | ac9a55d9b7698d3d3a1542359fd7cd4544e3828c /.config | |
parent | 179ffff7967f3136d8f8d0d17510a5460dd01adb (diff) |
Bump coverlet version to 3.1.2 (#64875)
Diffstat (limited to '.config')
-rw-r--r-- | .config/dotnet-tools.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json index 447d17d5160..7e6789ffee7 100644 --- a/.config/dotnet-tools.json +++ b/.config/dotnet-tools.json @@ -3,7 +3,7 @@ "isRoot": true, "tools": { "coverlet.console": { - "version": "3.1.0", + "version": "3.1.2", "commands": [ "coverlet" ] |