issues
search
JuliaReach
/
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50
stars
4
forks
source link
Update Travis config
#757
Closed
schillic
closed
4 years ago
schillic
commented
4 years ago
use artifact
avoid redundant build
upper-bound to Julia v1.2 (see #758)