Add Hecke to OscarCI (#1277)

lgoettgens · web-flow · commit 4b6cd64f7ed5 · 2025-10-23T10:08:19.000+02:00
diff --git a/OscarCI.toml b/OscarCI.toml
@@ -9,8 +9,12 @@ title = "metadata for oscar CI run"
   [pkgs.Oscar]
   test = true
 
-#[include]
-#  [include.julia]
-#  Oscar = "master"
-#  julia-version = "nightly"
-#  os = "ubuntu-latest"
+  [pkgs.Hecke]
+  test = false
+
+[include]
+  [include.justoscarmaster]
+  Oscar = "master"
+  Hecke = "release"
+  julia-version = "1.10"
+  os = "ubuntu-latest"
