Skip to content

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

Merged
devlead merged 3 commits intodevelopfrom
feature/dotcover
Dec 5, 2025
Merged

GH4635: Fix DotCover no longer works with version 2025.2#4670
devlead merged 3 commits intodevelopfrom
feature/dotcover

Conversation

@devlead
Copy link
Copy Markdown
Member

@devlead devlead commented Dec 5, 2025

Copilot AI and others added 3 commits December 5, 2025 23:43
…no-longer-works-with-version-2025-2-of-je

Fix issue #4635: Add alternative executable names for DotCover tool
@devlead devlead merged commit f20ad25 into develop Dec 5, 2025
18 of 20 checks passed
@devlead devlead deleted the feature/dotcover branch December 5, 2025 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

DotCover no longer works with version 2025.2+ of JetBrains.dotCover.CommandLineTools

2 participants