Skip to content

Mark unreachable paths#310

Merged
mborland merged 1 commit intodevelopfrom
coverage
Feb 3, 2026
Merged

Mark unreachable paths#310
mborland merged 1 commit intodevelopfrom
coverage

Conversation

@mborland
Copy link
Member

@mborland mborland commented Feb 2, 2026

No description provided.

@mborland mborland added this to the v1.6.0 milestone Feb 2, 2026
@mborland mborland self-assigned this Feb 2, 2026
@mborland mborland merged commit d823d48 into develop Feb 3, 2026
13 of 72 checks passed
@mborland mborland deleted the coverage branch February 3, 2026 13:59
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.

1 participant