File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -10,9 +10,9 @@ notifications:
10
10
sudo : false
11
11
script :
12
12
- if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
13
- - julia -e 'using Pkg; Pkg.build("ForwardDiff"); Pkg.test("ForwardDiff"; coverage=true)';
14
- - julia -O3 -e 'include("test/SIMDTest.jl")';
13
+ - julia --color=yes - e 'using Pkg; Pkg.build("ForwardDiff"); Pkg.test("ForwardDiff"; coverage=true)';
14
+ - julia --color=yes - O3 -e 'include("test/SIMDTest.jl")';
15
15
after_success :
16
- - julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
17
- - julia -e 'using Pkg; Pkg.add("Documenter")'
18
- - julia -e 'include("docs/make.jl")'
16
+ - julia --color=yes - e 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
17
+ - julia --color=yes - e 'using Pkg; Pkg.add("Documenter")'
18
+ - julia --color=yes - e 'include("docs/make.jl")'
You can’t perform that action at this time.
0 commit comments