Specify build.tools in .readthedocs.yml

eclipse-zenoh · Dec 21, 2023 · 1043301 · 1043301
1 parent 9d3a2f0
commit 1043301
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -25,6 +25,8 @@ sphinx:
 
 build:
   os: ubuntu-22.04
+  tools:
+    python: "3.12"
 
 # Build documentation with MkDocs
 #mkdocs: