Skip to content

remove coverage step from CI#73

Merged
mapokko merged 1 commit into
mainfrom
remove-coverage-in-CI
May 4, 2026
Merged

remove coverage step from CI#73
mapokko merged 1 commit into
mainfrom
remove-coverage-in-CI

Conversation

@mapokko
Copy link
Copy Markdown
Contributor

@mapokko mapokko commented May 4, 2026

This PR removes the coverage job from CI

@mapokko mapokko marked this pull request as ready for review May 4, 2026 09:29
@mapokko mapokko requested a review from a team as a code owner May 4, 2026 09:29
@mapokko mapokko enabled auto-merge (squash) May 4, 2026 09:29
@mapokko mapokko merged commit 8900003 into main May 4, 2026
5 checks passed
@mapokko mapokko deleted the remove-coverage-in-CI branch May 4, 2026 09:39
@github-actions github-actions Bot mentioned this pull request May 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants