diff --git a/OscarCI.toml b/OscarCI.toml index e5d19ce6e..ea885cc7d 100644 --- 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"