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

github-actions: add coverage script #313

Merged
merged 4 commits into from
Jun 6, 2022

Conversation

caffeinum
Copy link
Contributor

@caffeinum caffeinum commented Jun 5, 2022

this is very handy, and codecov also shows whether each PR has changed coverage

@codecov-commenter
Copy link

codecov-commenter commented Jun 5, 2022

Codecov Report

❗ No coverage uploaded for pull request base (main@1d868d8). Click here to learn what that means.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #313   +/-   ##
=======================================
  Coverage        ?   99.59%           
=======================================
  Files           ?       12           
  Lines           ?      246           
  Branches        ?       27           
=======================================
  Hits            ?      245           
  Misses          ?        1           
  Partials        ?        0           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 1d868d8...6427711. Read the comment docs.

- Change to only on push. Running coverage on PR is very heavy.
 
- Uploads the report to CodeCov via the shell script for the badge.
@Vectorized Vectorized merged commit 67ae09f into chiru-labs:main Jun 6, 2022
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.

3 participants