From 87377e713ab460451e6c00b34668dfac9c819637 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrik=20Sch=C3=B6nfeldt?= Date: Mon, 23 Oct 2023 09:45:51 +0200 Subject: [PATCH] Specify RTD build OS It is now mandatory to do so to geht the docs built. --- .readthedocs.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.readthedocs.yaml b/.readthedocs.yaml index aff41b4cf..44b41b104 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -1,6 +1,7 @@ # See https://docs.readthedocs.io/en/stable/config-file/v2.html for details version: 2 build: + os: ubuntu-22.04 apt_packages: - coinor-cbc sphinx: