Closed pradyunsg closed 1 year ago
I'm hoping that this fixes the documentation build, which has been failing for a few weeks now.
Looks like that worked. Merging eagerly, since a "new" failure is well... still a new failure. It moved past the pip install failure we were seeing earlier.
pip install
I'm hoping that this fixes the documentation build, which has been failing for a few weeks now.