search

JuliaReach / Reachability.jl

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

Update Travis CI script #599

Closed mforets closed 5 years ago

mforets commented 5 years ago

EDIT:

Some relevant links:

mforets commented 5 years ago

That's the kind of problem addressed and solved by Pkg3 -- I've opened https://github.com/JuliaReach/Reachability.jl/issues/600 as follow up.

mforets commented 5 years ago

OK let's see.. i wanted to try:

matrix:
  include:
    - julia: 1.0
      env: TO_TEST=DEVELOP
    - julia: 1.0
      env: TO_TEST=STABLE
  fast_finish: true

script:
  - if [ "$TO_TEST" = "DEVELOP" ]; then julia -e 'using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.clone(pwd()); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; fi
  - if [ "$TO_TEST" = "STABLE" ]; then julia -e 'using Pkg; Pkg.clone(pwd()); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; fi
mforets commented 5 years ago

seems to work now.. but requires https://github.com/JuliaLang/METADATA.jl/pull/22479

schillic commented 5 years ago

This will take a while because there was a comment, so it will have to be merged manually.

schillic commented 5 years ago

I think that last commit