Skip to content

v0.6.3

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Aug 18:25
· 24 commits to master since this release
v0.6.3
c70ec37
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

ClosedLoopReachability v0.6.3

Diff since v0.6.2

Merged pull requests:

  • Bump actions/checkout from 4 to 5 (#422) (@dependabot[bot])
  • CompatHelper: bump compat for LazySets to 5, (keep existing compat) (#423) (@github-actions[bot])

Contributors

dependabot
Assets 2
Loading