More RTD edits
This commit is contained in:
parent
94af6f8aca
commit
f4bffc6ec6
1 changed files with 3 additions and 0 deletions
|
|
@ -10,6 +10,9 @@ build:
|
||||||
os: ubuntu-22.04
|
os: ubuntu-22.04
|
||||||
tools:
|
tools:
|
||||||
python: "3.12"
|
python: "3.12"
|
||||||
|
jobs:
|
||||||
|
post_create_environment:
|
||||||
|
- python -m pip install sphinx_rtd_theme
|
||||||
# You can also specify other tool versions:
|
# You can also specify other tool versions:
|
||||||
# nodejs: "20"
|
# nodejs: "20"
|
||||||
# rust: "1.70"
|
# rust: "1.70"
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue