Add os config for rtd build.

GraphBLAS · Aug 29, 2024 · 432aa33 · 432aa33
1 parent 8a1cfcf
commit 432aa33
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -2,6 +2,11 @@
 
 version: 2
 
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.12"
+
 formats:
   - pdf