search

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
https://juliareach.github.io/ReachabilityAnalysis.jl/
MIT License
192 stars 16 forks source link

CompatHelper: bump compat for ReachabilityBase to 0.3 for package docs, (keep existing compat) #850

Closed github-actions[bot] closed 4 months ago

github-actions[bot] commented 4 months ago

This pull request changes the compat entry for the ReachabilityBase package from 0.2.3 to 0.2.3, 0.3 for package docs. This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request.