Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Update ReadTheDocs build to Ubuntu 22.04 (#1860)
* Use the Docker image ubuntu:22.04 to run the ReadTheDocs build. - c.f. https://twitter.com/readthedocs/status/1522266722635436041
- Loading branch information