Update .readthedocs.yaml

Explicitly specifying build.os is a required by RTD.
This commit is contained in:
Mike Thompson 2023-08-23 12:04:06 -04:00 committed by GitHub
parent 8fb291707e
commit 2dd5594be3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,10 +4,10 @@
version: 2
#build:
# os: "ubuntu-20.04"
# tools:
# python: "3.9"
build:
os: "ubuntu-20.04"
tools:
python: "3.9"
# Build from the docs/VerifStrat/source directory with Sphinx
sphinx: