kani v1.2.1
·
71 commits
to main
since this release
9de0a08
This commit was signed with the committer’s verified signature.
joshuasing
Joshua Sing
Changelog
Fixes
- d002f2a: fix(ci): fix changelog generation (@joshuasing)
- 9de0a08: fix: move to using net/http (#18) (@joshuasing)
Full Changelog: v1.2.0...v1.2.1
Contributors
joshuasing