Skip to content

kani v1.2.14

Latest
Latest
Compare
Choose a tag to compare
@hypera-bot hypera-bot released this 07 Aug 10:50
v1.2.14
This tag was signed with the committer’s verified signature.
joshuasing Joshua Sing
GPG key ID: 85F65155DE447040
Learn about vigilant mode.
3e06b72
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Changelog

Dependency updates

Full Changelog: v1.2.13...v1.2.14

Contributors

renovate
Assets 7
Loading