Skip to content
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.

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

ci: support source coverage and report to codecov #1

Merged
merged 1 commit into from
Apr 12, 2024
Merged

Conversation

ehds
Copy link
Owner

@ehds ehds commented Apr 12, 2024

support coverage report

@ehds ehds force-pushed the support-coverage branch 10 times, most recently from 1ba272b to 4dd14cd Compare April 12, 2024 06:55
@codecov-commenter
Copy link

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 ☂️

@ehds ehds force-pushed the support-coverage branch from 4dd14cd to 93e981a Compare April 12, 2024 07:06
@ehds ehds force-pushed the support-coverage branch from 93e981a to 4c54b7d Compare April 12, 2024 07:11
@ehds ehds merged commit 3d0ae1e into main Apr 12, 2024
8 checks passed
ehds added a commit that referenced this pull request Apr 16, 2024
ehds added a commit that referenced this pull request Apr 16, 2024
ehds added a commit that referenced this pull request Apr 16, 2024
@ehds ehds added the enhancement New feature or request label Apr 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants