mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-10-15 07:50:35 +02:00
fix travis 2
This commit is contained in:
parent
8de04df886
commit
2510654162
@ -15,10 +15,6 @@ matrix:
|
|||||||
allow_failures:
|
allow_failures:
|
||||||
- julia: nightly
|
- julia: nightly
|
||||||
|
|
||||||
## uncomment the following lines to override the default test
|
|
||||||
# script:
|
|
||||||
# - julia -e 'Pkg.clone(pwd()); Pkg.build("Groups"); Pkg.test("Groups"; coverage=true)'
|
|
||||||
|
|
||||||
after_success:
|
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 'import Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder())'
|
||||||
|
Loading…
Reference in New Issue
Block a user