From a3566ce9b677166d9d1fea152e55ddfa35cc21a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Melan=C3=A7on?= <ben@agaric.coop>
Date: Wed, 9 Feb 2022 23:44:06 -0500
Subject: [PATCH] Maybe OS is required if specifying tools?

Error

Problem in your project's configuration. Invalid build.tools.python: .readthedocs.yml: Invalid configuration option: build.tools.python. Make sure the key name is correct.
---
 .readthedocs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.readthedocs.yml b/.readthedocs.yml
index 27a6134..e1f183f 100644
--- a/.readthedocs.yml
+++ b/.readthedocs.yml
@@ -1,6 +1,7 @@
 version: 2
 
 build:
+  os: ubuntu-20.04
   tools:
     python: "3.9"
 sphinx: