readthedocs: Specify OS, tools

This is required. The error message is misleading [1].

[1] https://github.com/readthedocs/readthedocs.org/issues/8912

Signed-off-by: Stephen Finucane <stephen@that.guru>

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 1ca62df2cfbd27b7c5dbb06d149890e2af28f1de..87018d574f2978cd443311d6ffb41d1e99c414ea 100644 (file)
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -1,6 +1,9 @@
 ---
 version: 2
 build:
+  os: "ubuntu-22.04"
+  tools:
+    python: "3.11"
   jobs:
     post_checkout:
       - git fetch --unshallow