Update Sphinx dependency for Python 3.13 compatibility

BerkeleyLearnVerify · Mar 3, 2025 · bfb65b6 · bfb65b6
1 parent 05529c3
commit bfb65b6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -69,7 +69,7 @@ test-full = [  # like 'test' but adds dependencies for optional features
 	"exceptiongroup",
 	"inflect ~= 5.5",
 	"pygments ~= 2.11",
-	"sphinx >= 5.0.0, <6",
+	"sphinx >= 6.2.0, <7.2.0",
 	"sphinx_rtd_theme >= 0.5.2",
 	"sphinx-tabs ~= 3.4.1",
 	"verifai >= 2.1.0b1",
@@ -128,4 +128,4 @@ extend_skip_glob = [
 norecursedirs = ["examples"]
 
 [tool.coverage.run]
-source = ["src"]
+source = ["src"]