-
Notifications
You must be signed in to change notification settings - Fork 307
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] Code coverage + pre-commit (backport #1413) #1414
Conversation
b20b149
to
8bf7025
Compare
too much content? |
#936 was not backported, now pre-commit fails. or should we just not add |
This is good and I would merge it :) @bmagyar alternatively, we can split the CI / pre-comit config update and file formatting update. Would you prefer that more? |
This pull request is in conflict. Could you fix it @bmagyar @destogl @christophfroehlich? |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## humble #1414 +/- ##
===========================================
+ Coverage 31.03% 75.76% +44.73%
===========================================
Files 95 41 -54
Lines 10729 3219 -7510
Branches 7421 1834 -5587
===========================================
- Hits 3330 2439 -891
+ Misses 723 416 -307
+ Partials 6676 364 -6312
Flags with carried forward coverage won't be shown. Click here to find out more.
|
This is an automatic backport of pull request #1413 done by Mergify.
Cherry-pick of 1538c91 has failed:
To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally
Mergify commands and options
More conditions and actions can be found in the documentation.
You can also trigger Mergify actions by commenting on this pull request:
@Mergifyio refresh
will re-evaluate the rules@Mergifyio rebase
will rebase this PR on its base branch@Mergifyio update
will merge the base branch into this PR@Mergifyio backport <destination>
will backport this PR on<destination>
branchAdditionally, on Mergify dashboard you can:
Finally, you can contact us on https://mergify.com