Skip to content

Add 100% clean coverage #1354

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 4 commits into
base: main
Choose a base branch
from
Draft

Add 100% clean coverage #1354

wants to merge 4 commits into from
+143 −22

Conversation

Kludex
Copy link
Member

@Kludex Kludex commented Sep 9, 2025

No description provided.

@felixweinberger felixweinberger added pending publish Draft PRs need to be published for team to review needs more eyes Needs alignment among maintainers whether this is something we want to add needs maintainer action Potentially serious issue - needs proactive fix and maintainer attention labels Sep 23, 2025
@felixweinberger felixweinberger self-assigned this Sep 30, 2025
@felixweinberger felixweinberger added this to the CI & Testing milestone Sep 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@felixweinberger felixweinberger

Labels
needs maintainer action Potentially serious issue - needs proactive fix and maintainer attention needs more eyes Needs alignment among maintainers whether this is something we want to add pending publish Draft PRs need to be published for team to review
Projects
None yet
Milestone
CI & Testing
Development

Successfully merging this pull request may close these issues.
2 participants
@Kludex @felixweinberger