Bump coverlet.msbuild from 2.3.1 to 3.1.2

[dependabot[bot]]

Bumps coverlet.msbuild from 2.3.1 to 3.1.2.

Release notes

Sourced from coverlet.msbuild's releases.

v3.1.0

• 141 adds performance improvements to coverage tracker for multi-threaded scenarios
• a189fc26ea35b8ad77bd3be2bceac5c2996149a8 replaces Jil with JSON.NET for JSON serialization
• #147 adds support for instrumenting constructors
• 4efea75e7c92e01652eb6c1c465ae1bcf9e56e6b ensures output filenames have extensions if non is specified
• #154 makes enumeration based MSBuild properties case insensitive
• #164 adds support for specifying include filters
• #169 adds slight improvement for coverage tracking performance

v3.0.0

• #131 makes a slight change to the Coverlet JSON format
• 807f7b1bd5bea8158ffff343d5511cd16e0da9a0 uses a separate coverlet.tracker assembly to hold tracking code
• #128 adds support for assemblies with .exe extension
• a1f18b4156374f3398d704e898ec58c7c6c64bf8 improves identifying compiler generated types
• #134 adds considerable coverage tracking performance improvements

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)