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

Clone git version of Permutations.jl

This commit is contained in:
kalmar 2017-01-24 13:44:20 +01:00
parent 0d36b96c49
commit 4b6651b728

View File

@ -10,8 +10,9 @@ 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(pwd()); Pkg.build("Groups"); Pkg.test("Groups"; coverage=true)' - julia -e 'Pkg.clone("https://github.com/scheinerman/Permutations.jl.git")'
- 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 '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())'