kani v1.2.12
·
14 commits
to main
since this release
v1.2.12
joshuasing
Joshua Sing
This tag was signed with the committer’s verified signature.
joshuasing
Joshua Sing
Changelog
Dependency updates
- cada5c4: chore(deps): update go to v1.22.4 (#82) (@renovate[bot])
- a89f8ac: chore(deps): update image alpine to v3.20.0 (#81) (@renovate[bot])
- 703e082: chore(deps): update image alpine to v3.20.1 (#85) (@renovate[bot])
- 045ade4: chore(deps): update image golang to v1.22.2 (#78) (@renovate[bot])
- ea370ca: chore(deps): update image golang to v1.22.3 (#80) (@renovate[bot])
- 272170f: chore(deps): update image golang to v1.22.4 (#83) (@renovate[bot])
- cf89e86: chore(deps): update module github.com/coreos/go-oidc/v3 to v3.10.0 (#77) (@renovate[bot])
- 6f13172: chore(deps): update module google.golang.org/protobuf to v1.33.0 [SECURITY] (#75) (@renovate[bot])
Full Changelog: v1.2.11...v1.2.12
Contributors
renovate