diff --git a/.travis.yml b/.travis.yml index 6011f82..6ed515d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -13,6 +13,9 @@ branches: only: - master - /^v\d+\.\d+(\.\d+)?(-\S*)?$/ +after_success: + - julia --project=test/coverage -e 'using Pkg; Pkg.instantiate()' + - julia --project=test/coverage test/coverage/coverage.jl jobs: include: - stage: deploy @@ -21,8 +24,7 @@ jobs: script: - julia --project=docs -e 'using Pkg; Pkg.instantiate()' - julia --project=docs --color=yes docs/make.jl - - julia --project=test/coverage -e 'using Pkg; Pkg.instantiate()' - - julia --project=test/coverage test/coverage/coverage.jl + after_success: skip notifications: email: false git: diff --git a/test/coverage/coverage.jl b/test/coverage/coverage.jl index 15ea38b..a443352 100644 --- a/test/coverage/coverage.jl +++ b/test/coverage/coverage.jl @@ -1,3 +1,7 @@ +# only push coverage from one bot +get(ENV, "TRAVIS_OS_NAME", nothing) == "linux" || exit(0) +get(ENV, "TRAVIS_JULIA_VERSION", nothing) == "1.0" || exit(0) + using Coverage cd(joinpath(@__DIR__, "..", "..")) do