remove old RTD workaround

david-cortes · Jul 18, 2023 · e461291 · e461291
1 parent 2acd317
commit e461291
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/.readthedocs.yaml b/docs/.readthedocs.yaml
@@ -11,7 +11,7 @@ build:
     - gcc
     - g++
   tools:
-    python: "3.9"
+    python: "3.11"
     # You can also specify other tool versions:
     # nodejs: "19"
     # rust: "1.64"