Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
MRG: Fix documentation build (#1233)
Fix documentation build The CircleCI image we used to use is not available anymore, see https://discuss.circleci.com/t/linux-image-deprecations-and-eol-for-2024/50177
- Loading branch information