Skip to content

Conversation

@oliverklee
Copy link
Collaborator

As interfaces cannot be covered using an @covers annotation, we need to use @coversNothing instead.

This will allow us to require coverage metadata for testcases later down the road.

@oliverklee oliverklee requested a review from JakeQZ December 4, 2025 12:13
@oliverklee oliverklee self-assigned this Dec 4, 2025
@oliverklee oliverklee added the developer-specific Issues that only affect maintainers, contributors, and people submitting PRs label Dec 4, 2025
@coveralls
Copy link

coveralls commented Dec 4, 2025

Coverage Status

coverage: 62.487%. remained the same
when pulling 36b495a on task/covers
into 4a8a1c1 on main.

As interfaces cannot be covered using an `@covers` annotation,
we need to use `@coversNothing` instead.

This will allow us to require coverage metadata for testcases
later down the road.
@JakeQZ JakeQZ merged commit cb0292d into main Dec 4, 2025
23 checks passed
@JakeQZ JakeQZ deleted the task/covers branch December 4, 2025 12:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

developer-specific Issues that only affect maintainers, contributors, and people submitting PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants