From 3459672eda5e898c7f8d6a798c20c5384010f64f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Julian=20Gro=C3=9F?= Date: Sat, 17 Feb 2024 20:49:10 +0100 Subject: [PATCH] Bump ReadTheDocs Python version --- .readthedocs.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.readthedocs.yaml b/.readthedocs.yaml index addc562a..e1f1e1d7 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -11,7 +11,7 @@ build: # "os" and "tools" are required to be able to use "jobs" os: ubuntu-22.04 tools: - python: "3.11" + python: "3.12" jobs: pre_build: - echo "Creating an index.html to work around not being able to set the default web page.."