kani v1.2.0
·
73 commits
to main
since this release
71e81aa
This commit was signed with the committer’s verified signature.
joshuasing
Joshua Sing
Changelog
Other
- c4b0e00: feat: use goreleaser (#14) (@joshuasing)
- 8feb596: fix(docker): attempt to resolve build problem (#15) (@joshuasing)
- 031e3df: fix(goreleaser): arm64 -> arm64v8 (@joshuasing)
- 71e81aa: fix(goreleaser): resolve yaml formatting problem (@joshuasing)
- 21e4619: fix: goreleaser working, add issue/pr templates and codeowners (#17) (@joshuasing)
- 3404fe4: fix: resolve problems with goreleaser (#16) (@joshuasing)
Contributors
joshuasing