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

chore: fix coverage reports being unusable on CodeCov #134

Merged
merged 1 commit into from
May 12, 2023

Conversation

RomainMuller
Copy link
Contributor

Apparently, you need to use the uploader with a checked out source tree

Apparently, you need to use the uploader with a checked out source
tree
@codecov
Copy link

codecov bot commented May 12, 2023

Codecov Report

Merging #134 (b4fc90a) into main (0211747) will increase coverage by 71.5%.
The diff coverage is n/a.

❗ Current head b4fc90a differs from pull request most recent head 59bee6e. Consider uploading reports for the commit 59bee6e to get more accurate results

Additional details and impacted files
Components Coverage Δ
Parser 75.4% <ø> (∅)
Intermediate Representation 78.6% <ø> (∅)
Synthesizers 61.8% <ø> (∅)
Other 58.8% <ø> (∅)
@@           Coverage Diff           @@
##           main    #134      +/-   ##
=======================================
+ Coverage      0   71.5%   +71.5%     
=======================================
  Files         0      23      +23     
  Lines         0    1894    +1894     
  Branches      0    1894    +1894     
=======================================
+ Hits          0    1354    +1354     
- Misses        0     241     +241     
- Partials      0     299     +299     

see 23 files with indirect coverage changes


Continue to review full report in Codecov by Sentry.

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

@RomainMuller RomainMuller merged commit 32cb953 into main May 12, 2023
@RomainMuller RomainMuller deleted the rmuller/output-format branch May 12, 2023 12:47
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.

2 participants