Skip to content

Onboard to codecov - #406

Merged
mbrt merged 1 commit into
masterfrom
codecov
Jun 24, 2024
Merged

Onboard to codecov#406
mbrt merged 1 commit into
masterfrom
codecov

Conversation

@mbrt

@mbrtmbrt commented Jun 24, 2024

Copy link
Copy Markdown
Owner

Also get rid the old handrolled code coverage report.

Also get rid the old handrolled code coverage report.
@codecov-commenter

Copy link
Copy Markdown

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@mbrt
mbrt merged commit e1c81b7 into masterJun 24, 2024
@mbrt
mbrt deleted the codecov branch June 24, 2024 14:03
Sign up for freeto 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.

2 participants

@mbrt@codecov-commenter