that's what i get for the Brusselator example in their setting
but i mean, compare it with
maybe the parameter choices for the other tools were not good .. :)
i read the builds were faster. i was wondering if we should also change
the build (JuliaReach/ReachabilityAnalysis.jl#386) took 1hour and the docs are still not deployed!
travis says that it stopped all our builds
You have used 11230 of 10000 credits
i'm not sure this is the case, but that would be sad!
do you know if those credits reset each month?
but the Docs build didnt finish yet
yes
but deployment failed
in total it took 30 mins instead of 1 hour with TRavis CI (which probably was slow because of the credits issue) so im in favor of keeping github CI for RA
i dont mind changing the others while we can still make builds with travis CI
the docs were only deployed the 2nd time that CI ran for the first time
(something similar used to happen with travis CI)
Maybe directly related to robustness of ODEs with neural network controllers
- I mean, on the julialang webpage
we are listed :tada: :smile: