From eeec47d89f161f8250a76f7de02e4112a5dbc975 Mon Sep 17 00:00:00 2001
From: Daniele Nerini <daniele.nerini@gmail.com>
Date: Wed, 20 Dec 2023 15:38:30 +0100
Subject: [PATCH] Set build.os in .readthedocs.yml (#342)

---
 .readthedocs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.readthedocs.yml b/.readthedocs.yml
index 4112d0cb3..d3865001c 100644
--- a/.readthedocs.yml
+++ b/.readthedocs.yml
@@ -3,6 +3,10 @@
 
 version: 2
 
+# the build.os and build.tools section is mandatory
+build:
+  os: ubuntu-22.04
+
 sphinx:
   configuration: doc/source/conf.py