Merge branch 'develop' into typehintfixer

dweindl · Apr 17, 2024 · db700e5 · db700e5
2 parents de8a635 + 6bbcde2
commit db700e5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/documentation/rtd_requirements.txt b/documentation/rtd_requirements.txt
@@ -1,5 +1,7 @@
 # NOTE: relative paths are expected to be relative to the repository root
-sphinx
+
+# sphinx<7.3.0: https://github.com/AMICI-dev/AMICI/issues/2403
+sphinx<7.3.0
 mock>=5.0.2
 setuptools>=67.7.2
 pysb>=1.11.0