search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Update .travis.yml #752

Closed mforets closed 4 years ago

mforets commented 4 years ago

In the Project.toml we have LazySets = "1.30, 1.31", but travis.yml requires tests to pass with the development version of LazySets. This change adjusts travis.yml with Project.toml.

mforets commented 4 years ago

This didn't work unfortunately :(