Skip to content

Commit

Permalink
Merge pull request #443 from JuliaReach/schillic/402
Browse files Browse the repository at this point in the history
#402 - Split travis command into two commands again
  • Loading branch information
schillic authored Jul 31, 2018
2 parents b4e9556 + 0eb9dd0 commit 53b2e09
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,8 @@ matrix:
# - julia -e 'Pkg.clone(pwd()); Pkg.build("LazySets"); Pkg.test("LazySets"; coverage=true)'
after_success:
# documentation (restrict Documenter to release version 0.18.0 due to problems, see #402)
- julia -e 'Pkg.add("Documenter"); Pkd.pin("Documenter", v"0.18.0"); cd(Pkg.dir("LazySets")); include(joinpath("docs", "make.jl"))'
- julia -e 'Pkg.add("Documenter"); Pkg.pin("Documenter", v"0.18.0")'
- julia -e 'cd(Pkg.dir("LazySets")); include(joinpath("docs", "make.jl"))'
# code coverage (for both Coveralls and Codecov)
- julia -e 'Pkg.add("Coverage")'
# push coverage results to Coveralls
Expand Down

0 comments on commit 53b2e09

Please sign in to comment.