Fix Travis build matrix and coverage

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Fix Travis build matrix and coverage #665

Closed schillic closed 4 years ago

schillic commented 4 years ago

Apparently I broke the build matrix in #663. My workaround is to build the docs not with a stage but just with another command. coverage: true did not work here, so I kept the explicit Julia command.