Closed mattwthompson closed 1 year ago
That ... worked?
If I'm not missing anything, I think this is good to go.
Pinning to an old version of pip
is not good, but our docs not being build is not good-er.
Merging #1687 (ae2a0d5) into main (7b94401) will increase coverage by
0.21%
. The diff coverage isn/a
.:exclamation: Current head ae2a0d5 differs from pull request most recent head 46ff898. Consider uploading reports for the commit 46ff898 to get more accurate results
I redid the "stable" pin assignment in the 0.14.2 release around the same time as you opened this PR - I've reverted the changes to kick CI so we can tease apart whether this was the effective fix.
Looks like the RTD build ran with no changes. Thanks for hopping on this so quickly, but I think it was doing the new release and stable-tag-setting correctly that got RTD back.
Starting grasping at straws
https://pip.pypa.io/en/stable/news/#v23-2