Release v1.2.15 · hyperadev/kani · GitHub

v1.2.15
991f1a0
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

v1.2.15

v1.2.15
991f1a0
Compare

Choose a tag to compare

Loading

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

GPG key ID: B5690EEEBB952194

Verified
Learn about vigilant mode

joshuasing tagged this 08 Jul 18:38

chore(deps): update dependencies (#116)

Assets 2