only show minimum if it is bigger than 0

[fuddl]

I think the headers are unnecessary when the threshold is 0

[codecov]

Codecov Report

❌ Patch coverage is 0% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 70.68%. Comparing base (46484f5) to head (f09c3fe).
⚠️ Report is 295 commits behind head on master.

Files with missing lines	Patch %	Lines
integraality/property_statistics.py	0.00%	8 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master       #3      +/-   ##
==========================================
- Coverage   71.80%   70.68%   -1.13%     
==========================================
  Files           3        3              
  Lines         376      382       +6     
  Branches       54       56       +2     
==========================================
  Hits          270      270              
- Misses         97      103       +6     
  Partials        9        9              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[JeanFred]

Thanks for the contribution @fuddl! I think it makes sense :)

That part of the code was untested so I have just added some in 588dae8. Would you mind rebasing on the latest master?
If you feel up for it, you can also add another test that would cover this new behaviour (if not, that’s fine, I would do it myself :) )

[fuddl]

I have no idea how to rebase branches accross forks 😅

But i'll find out

[JeanFred]

I have no idea how to rebase branches accross forks sweat_smile

But i'll find out
No worries, let me know if I can help :)

Off the top of my head, and assuming my repo is still the origin remote, it’s probably, from your branch something like
git fetch origin && git rebase origin/master