diff --git a/.travis.yml b/.travis.yml index 37a5549..44bbc58 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,6 +14,8 @@ notifications: # script: # - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi # - julia -e 'Pkg.clone(pwd()); Pkg.build("CDDLib"); Pkg.test("CDDLib"; coverage=true)' +before_script: + - julia -e 'Pkg.clone("https://github.com/JuliaPolyhedra/Polyhedra.jl.git")' after_success: # push coverage results to Coveralls - julia -e 'cd(Pkg.dir("CDDLib")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'