Skip to content

Kover CI report #193

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
Merged
opatry merged 4 commits into from
May 19, 2025
Merged

Kover CI report #193

opatry merged 4 commits into from
May 19, 2025

Conversation

@opatry
Copy link
Owner

@opatry opatry commented May 19, 2025 •
edited
Loading

Description

  • Bootstrap coverage badge in README.md
  • Revise kover setup to properly take variant into account in koverVerify
  • Compute coverage on main builds and update coverage badge if needed
  • Check coverage threshold on PR builds

Checklist

  • I have read the CONTRIBUTING guide
  • Code compiles correctly
  • Created tests which fail without the change (if possible)
  • All tests passing

@opatry opatry merged commit bb547f1 into main May 19, 2025
2 checks passed
@opatry opatry deleted the kover-ci-report branch May 19, 2025 20:45
@opatry opatry linked an issue May 19, 2025 that may be closed by this pull request
Report coverage in CI #119
Closed
5 tasks
This was referenced May 19, 2025
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Report coverage in CI

2 participants

@opatry