CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing compat)

JuliaReach / ReachabilityBenchmarks

JuliaReach benchmark suite

MIT License

4 stars 1 forks source link

CompatHelper: bump compat for ReachabilityBase to 0.3, (keep existing compat) #223

Closed github-actions[bot] closed 2 months ago

github-actions[bot] commented 2 months ago

This pull request changes the compat entry for the ReachabilityBase package from 0.2.5 to 0.2.5, 0.3. 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.