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

use Nemo from master for v0.6

This commit is contained in:
kalmarek 2017-11-17 16:08:09 +01:00
parent 03b7590faa
commit bad841cf39

View File

@ -26,7 +26,7 @@ matrix:
## uncomment the following lines to override the default test script
script:
# - julia -e 'Pkg.clone("https://github.com/Nemocas/Nemo.jl"); Pkg.build("Nemo")'
- julia -e 'Pkg.clone("https://github.com/Nemocas/Nemo.jl"); Pkg.build("Nemo")'
- julia -e 'Pkg.clone(pwd()); Pkg.build("Groups"); Pkg.test("Groups"; coverage=true)'
after_success: