Browse Source

Actually deploy coverage.

pull/32/head
Fredrik Ekre 7 years ago
parent
commit
e978313dd5
  1. 6
      .travis.yml
  2. 4
      test/coverage/coverage.jl

6
.travis.yml

@ -13,6 +13,9 @@ branches:
only: only:
- master - master
- /^v\d+\.\d+(\.\d+)?(-\S*)?$/ - /^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: jobs:
include: include:
- stage: deploy - stage: deploy
@ -21,8 +24,7 @@ jobs:
script: script:
- julia --project=docs -e 'using Pkg; Pkg.instantiate()' - julia --project=docs -e 'using Pkg; Pkg.instantiate()'
- julia --project=docs --color=yes docs/make.jl - julia --project=docs --color=yes docs/make.jl
- julia --project=test/coverage -e 'using Pkg; Pkg.instantiate()' after_success: skip
- julia --project=test/coverage test/coverage/coverage.jl
notifications: notifications:
email: false email: false
git: git:

4
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 using Coverage
cd(joinpath(@__DIR__, "..", "..")) do cd(joinpath(@__DIR__, "..", "..")) do

Loading…
Cancel
Save