Closed djhoese closed 1 year ago
Merging #518 (cd13f27) into main (3fa9529) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## main #518 +/- ##
=======================================
Coverage 94.32% 94.32%
=======================================
Files 79 79
Lines 12944 12944
=======================================
Hits 12209 12209
Misses 735 735
Flag | Coverage Δ | |
---|---|---|
unittests | 94.32% <ø> (ø) |
Flags with carried forward coverage won't be shown. Click here to find out more.
So RTD for pull requests is now a CI job so it would be one of the checks to fail in a PR. I'm not sure if we can get notifications about it but that would be nice. I'm also noticing that we still have the GitHub Actions-based website job. I'll remove that since it isn't necessary now.
So RTD for pull requests is now a CI job so it would be one of the checks to fail in a PR.
Ah good point, so we would see the failure in the checks box. That's good enough for me.
I'll remove that since it isn't necessary now.
Do you want to do this here or should that be another PR?
I'll do it here.
I noticed that some of the RTD builds had warnings due to bad formatting, but the builds weren't failing. I'd like to know as soon as possible that something isn't building as expected. This sets the proper option for RTD.
git diff origin/main **/*py | flake8 --diff