Skip to content

Properly setup mutants#32

Merged
eirnym merged 1 commit intomainfrom
mutants
Aug 10, 2025
Merged

Properly setup mutants#32
eirnym merged 1 commit intomainfrom
mutants

Conversation

@eirnym
Copy link
Contributor

@eirnym eirnym commented Aug 10, 2025

No description provided.

@github-actions
Copy link

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
229 229 100% 0% 🟢

New Files

No new covered files...

Modified Files

No covered modified files...

updated for commit: c2172fa by action🐍

@github-actions
Copy link

TestsPassed ✅SkippedFailed
Deku String620 ran620 passed0 skipped0 failed

@eirnym eirnym merged commit 2624ad5 into main Aug 10, 2025
7 checks passed
@eirnym eirnym deleted the mutants branch August 10, 2025 18:11
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