v0.1.5

NeuralNetworkReachability v0.1.5

Diff since v0.1.4

Merged pull requests:

• Bump peter-evans/create-pull-request from 6 to 7 (#35) (@dependabot[bot])
• Aqua v0.8.9 tests only for local ambiguities (#36) (@schillic)
• Fix invalidations CI run (#37) (@schillic)
• Add commits since last release to README (#38) (@schillic)
• Bump codecov/codecov-action from 4 to 5 (#39) (@dependabot[bot])
• Use LazySets v3 (#42) (@schillic)