From fbe4fa706d80c6b385669be341adbd56f41de6dc Mon Sep 17 00:00:00 2001 From: Rodrigo Tobar Date: Thu, 14 Sep 2023 16:07:07 +0800 Subject: [PATCH] Add build.tools section, needed by RTD Signed-off-by: Rodrigo Tobar --- .readthedocs.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.readthedocs.yaml b/.readthedocs.yaml index 3067981a..71532212 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -1,6 +1,8 @@ version: 2 build: os: "ubuntu-22.04" + tools: + python: "3.10" submodules: include: all