Infra: Build RTD previews with latest Python (#3538)

This commit is contained in:
Hugo van Kemenade 2023-11-28 17:01:15 +02:00 committed by GitHub
parent 8cf69d6227
commit bb163345a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 19 additions and 15 deletions

19
.readthedocs.yaml Normal file
View File

@ -0,0 +1,19 @@
# Read the Docs configuration file
# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
# Project page: https://readthedocs.org/projects/pep-previews/
version: 2
build:
os: ubuntu-22.04
tools:
python: "3"
commands:
- make dirhtml JOBS=$(nproc) BUILDDIR=_readthedocs/html
sphinx:
builder: dirhtml
search:
ignore: ['*']

View File

@ -1,15 +0,0 @@
version: 2
build:
os: ubuntu-22.04
tools:
python: "3.11"
commands:
- make dirhtml JOBS=$(nproc) BUILDDIR=_readthedocs/html
sphinx:
builder: dirhtml
search:
ignore: ['*']