mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-11-19 14:35:28 +01:00
uncomment script:
This commit is contained in:
parent
2f543eff45
commit
ec9dc214fb
@ -9,7 +9,7 @@ julia:
|
|||||||
notifications:
|
notifications:
|
||||||
email: false
|
email: false
|
||||||
# uncomment the following lines to override the default test script
|
# uncomment the following lines to override the default test script
|
||||||
#script:
|
script:
|
||||||
- if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
|
- if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
|
||||||
- julia -e 'Pkg.clone("https://github.com/scheinerman/Permutations.jl.git")'
|
- julia -e 'Pkg.clone("https://github.com/scheinerman/Permutations.jl.git")'
|
||||||
- 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)'
|
||||||
@ -18,3 +18,4 @@ after_success:
|
|||||||
- julia -e 'cd(Pkg.dir("Groups")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
|
- julia -e 'cd(Pkg.dir("Groups")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
|
||||||
# push coverage results to Codecov
|
# push coverage results to Codecov
|
||||||
- julia -e 'cd(Pkg.dir("Groups")); Pkg.add("Coverage"); using Coverage; Codecov.submit(Codecov.process_folder())'
|
- julia -e 'cd(Pkg.dir("Groups")); Pkg.add("Coverage"); using Coverage; Codecov.submit(Codecov.process_folder())'
|
||||||
|
``
|
||||||
|
Loading…
Reference in New Issue
Block a user