1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00

no need to pull Permutations.jl anymore

This commit is contained in:
kalmar 2017-07-11 16:36:15 +02:00
parent c2f23644a0
commit 331143ad42

View File

@ -18,7 +18,6 @@ notifications:
# uncomment the following lines to override the default test script
script:
- if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
- 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:
# push coverage results to Coveralls