Update RTD config for build.os config change

See https://blog.readthedocs.com/use-build-os-config/ for details. We are in a temporary brownout with the old config key disabled, so RTD builds will be failing for the next few hours; but the change will become permanent next month.
haskell · Sep 18, 2023 · e69dde9 · e69dde9
1 parent 2959134
commit e69dde9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -3,6 +3,11 @@ version: 2
 sphinx:
   configuration: doc/conf.py
 
+build:
+  os: "ubuntu-22.04"
+  tools:
+    python: "3.11"
+
 python:
   version: 3.8
   install: