diff --git a/test/runtests.jl b/test/runtests.jl index ecfecc37a..8e05132d7 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -50,7 +50,7 @@ if GROUP == "All" || GROUP == "Core" @safetestset "Groebner extension Test" begin include("extensions/groebner.jl") end end -if GROUP == "GroebnerExt" +if GROUP == "All" || GROUP == "GroebnerExt" @safetestset "Groebner extension Test" begin include("extensions/groebner.jl") end end