mirror of
https://github.com/JuliaFEM/JuliaFEM.jl.git
synced 2026-08-06 04:21:33 +00:00
Merge branch 'master' of https://github.com/ovainola/JuliaFEM
This commit is contained in:
+7
-4
@@ -4,9 +4,12 @@ julia:
|
||||
- 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:
|
||||
- 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
|
||||
- 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())'
|
||||
- julia -e 'cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; >Coveralls.submit(Coveralls.process_folder())'
|
||||
|
||||
Reference in New Issue
Block a user