From d6befc7990564a976a7dfb7fce86839cf4122947 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Thu, 2 Nov 2017 18:48:31 +0100 Subject: [PATCH] Don't pull master of Nemo --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 47a23da..ef4adb1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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: