Update src/defaults.jl

oscar-system · Jan 23, 2024 · 161e829 · 161e829
1 parent e8b13ae
commit 161e829
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/defaults.jl b/src/defaults.jl
@@ -11,7 +11,7 @@ const default_branches = [ "<matching>", "release" ]
 # newest entries should come first
 # if no matching version is found the doctests will run with julia 1.6
 const doctest_versions = Dict(
-    :Oscar           => [v"0.14.0-DEV" => (v"1.10", v"1.13"),
+    :Oscar           => [v"0.14.0-DEV" => (v"1.10", v"1.12"),
                          v"0.13.0-DEV" => (v"1.9" , v"1.11"),
                          v"0.12.1-DEV" => (v"1.8" , v"1.11")],
     :Hecke           => [v"0.24.1"     => (v"1.10", v"1.11"),