Add tools definition for RTD

mhilbrunner · mhilbrunner · commit d9e0d8386e4e · 2023-05-05T15:28:02.000+02:00
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -6,6 +6,8 @@ version: 2
 
 build:
   os: ubuntu-22.04
+  tools:
+    python: "3.11"
 
 sphinx:
   configuration: conf.py
