diff --git a/old-travis b/old-travis deleted file mode 100644 index dda8fda..0000000 --- a/old-travis +++ /dev/null @@ -1,15 +0,0 @@ -language: julia -julia: - - release - - nightly -#notifications: -# email: false -#script: -# - julia -e 'Pkg.clone(pwd())' -# - julia -e 'Pkg.build("$name")' -# - if [ -f test/runtests.jl ]; then julia --check-bounds=yes --code-coverage test/runtests.jl; fi -script: - - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi - - julia --check-bounds=yes -e 'Pkg.clone(pwd()); Pkg.build("JuliaFEM"); Pkg.test("JuliaFEM"; coverage=true)' -after_success: - - julia -e 'cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; >Coveralls.submit(Coveralls.process_folder())'