1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-26 02:20:30 +01:00

update travis

This commit is contained in:
kalmarek 2019-02-21 15:01:44 +01:00
parent 34a9db8269
commit 3b7d6d7624
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -17,6 +17,8 @@ matrix:
# script: # script:
# - julia -e 'Pkg.clone(pwd()); Pkg.build("Groups"); Pkg.test("Groups"; coverage=true)' # - julia -e 'Pkg.clone(pwd()); Pkg.build("Groups"); Pkg.test("Groups"; coverage=true)'
after_success: codecov: true
# after_success:
# push coverage results to Coveralls # push coverage results to Coveralls
- julia -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder())' #- julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'