Fix broken docs build

2023-10-21 15:41:49 +02:00
parent 181809d34a
commit 69af58227a
1 changed files with 4 additions and 0 deletions
@@ -1,6 +1,10 @@
 # Read the Docs configuration file
 # See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
 version: 2
+build:
+  os: "ubuntu-22.04"
+  tools:
+    python: "3.11"
 sphinx:
  configuration: docs/source/conf.py
 formats: