mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-11-19 06:30:29 +01:00
update travis
This commit is contained in:
parent
8a42e33b6d
commit
0f58561d50
@ -6,6 +6,8 @@ os:
|
||||
julia:
|
||||
- 1.0
|
||||
- 1.1
|
||||
- 1.2
|
||||
- 1.3
|
||||
- nightly
|
||||
notifications:
|
||||
email: true
|
||||
@ -19,7 +21,3 @@ matrix:
|
||||
# - julia -e 'Pkg.clone(pwd()); Pkg.build("Groups"); Pkg.test("Groups"; coverage=true)'
|
||||
|
||||
codecov: true
|
||||
|
||||
# after_success:
|
||||
# push coverage results to Coveralls
|
||||
#- julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'
|
||||
|
Loading…
Reference in New Issue
Block a user