1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00

run tests for mcgs only locally

This commit is contained in:
Marek Kaluba 2022-10-14 01:15:11 +02:00
parent 29e2097f2f
commit e2646709fe
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -24,7 +24,7 @@ include(joinpath(pathof(GroupsCore), "..", "..", "test", "conformance_test.jl"))
_, t = @timed include("homomorphisms.jl")
@info "homomorphisms.jl took $(round(t, digits=2))s"
if haskey(ENV, "CI")
if !haskey(ENV, "CI")
_, t = @timed include("AutSigma_41.jl")
@info "AutSigma_41 took $(round(t, digits=2))s"
_, t = @timed include("AutSigma3.jl")
@ -36,5 +36,5 @@ include(joinpath(pathof(GroupsCore), "..", "..", "test", "conformance_test.jl"))
end
if !haskey(ENV, "CI")
include("benchmarks.jl")
include("benchmarks.jl")
end