GH4635: Fix DotCover no longer works with version 2025.2#4670

Merged

devlead merged 3 commits into

feature/dotcover

Dec 5, 2025

Commits on Dec 5, 2025

Update DotCover implementation to use new command format and add support for new options

Copilot
authored and
devlead
committed
Fix issue #4635: Add alternative executable names for DotCover tool

SoulSniper1212
authored and
devlead
committed
Merge pull request #4646 from SoulSniper1212/fix-issue-4635-dotcover-no-longer-works-with-version-2025-2-of-je
devlead
authored