add missing build.os key to RTD config

allenai · Oct 3, 2023 · 88b480d · 88b480d
1 parent 7ecffc0
commit 88b480d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -9,3 +9,6 @@ python:
   install:
     - requirements: requirements.txt
     - requirements: dev-requirements.txt
+
+build:
+  os: ubuntu-22.04