kani v1.2.14

Changelog

Dependency updates

• 3e06b72: chore(deps): update go to v1.22.6 (#95) (@renovate[bot])
• fda592e: chore(deps): update image golang to v1.22.6 (#96) (@renovate[bot])

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

kani v1.2.13

Changelog

Dependency updates

• 648d26b: chore(deps): update go to v1.22.5 (#88) (@renovate[bot])
• 1db21c5: chore(deps): update image alpine to v3.20.2 (#93) (@renovate[bot])
• e2dc498: chore(deps): update image golang to ff45d87 (#92) (@renovate[bot])
• 799b597: chore(deps): update image golang to v1.22.5 (#89) (@renovate[bot])
• f0bfc9c: chore(deps): update module github.com/coreos/go-oidc/v3 to v3.11.0 (#90) (@renovate[bot])

Full Changelog: v1.2.12...v1.2.13

kani v1.2.12

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

kani v1.2.11

Changelog

Dependency updates

• fe6cce4: chore(deps): bump github.com/go-jose/go-jose/v3 from 3.0.1 to 3.0.3 (#72) (@dependabot[bot])
• f4643a3: chore(deps): bump golang.org/x/crypto from 0.14.0 to 0.17.0 (#64) (@dependabot[bot])
• 7026b5c: chore(deps): update image alpine to v3.19.1 (#69) (@renovate[bot])
• b74bc05: chore(deps): update image golang to 4db4aac (#65) (@renovate[bot])
• 323d0a7: chore(deps): update image golang to v1.21.6 (#67) (@renovate[bot])
• 54435ed: chore(deps): update image golang to v1.22.0 (#70) (@renovate[bot])
• 1813e79: chore(deps): update image golang to v1.22.1 (#71) (@renovate[bot])

Full Changelog: v1.2.10...v1.2.11

kani v1.2.10

Changelog

Dependency updates

• 35a3fe2: chore(deps): update golang Docker tag to v1.21.4 (#55) (@renovate[bot])
• 5306276: chore(deps): update image alpine to v3.19.0 (#58) (@renovate[bot])
• 7279e9a: chore(deps): update image golang to v1.21.5 (#59) (@renovate[bot])
• 07d0bda: chore(deps): update module github.com/coreos/go-oidc/v3 to v3.7.0 (#54) (@renovate[bot])
• 943a2c6: chore(deps): update module github.com/coreos/go-oidc/v3 to v3.9.0 (#57) (@renovate[bot])
• 6daed4c: chore(deps): update module github.com/go-jose/go-jose/v3 to v3.0.1 [SECURITY] (#62) (@renovate[bot])

Other

• 1b8bd12: ci: use reusable workflows and shared renovate config (#61) (@joshuasing)

Full Changelog: v1.2.9...v1.2.10

kani v1.2.9

Changelog

Important

This release runs Kani with Go 1.21.3. Go v1.21.3 includes patches for a vulnerability in net/http:
https://groups.google.com/g/golang-announce/c/iNNxDTCjZvo/m/UDd7VKQuAAAJ?pli=1
https://www.cve.org/CVERecord?id=CVE-2023-44487

While this vulnerability is unlikely to affect users of Kani, it is still advised to update to the latest version.

Dependency updates

• 946fc5c: chore(deps): update alpine Docker tag to v3.18.4 (#49) (@renovate[bot])
• a2e0d16: chore(deps): update dependencies (#53) (@joshuasing)
• aa83519: chore(deps): update golang Docker tag to v1.21.2 (#50) (@renovate[bot])

Full Changelog: v1.2.8...v1.2.9

kani v1.2.8

Changelog

Dependency updates

• faf2965: chore(deps): update actions/checkout action to v4 (#43) (@renovate[bot])
• 7b213a8: chore(deps): update docker/login-action action to v3 (#46) (@renovate[bot])
• b85df9e: chore(deps): update docker/setup-buildx-action action to v3 (#47) (@renovate[bot])
• 0669d25: chore(deps): update docker/setup-qemu-action action to v3 (#48) (@renovate[bot])
• 65409af: chore(deps): update golang Docker tag to v1.21.1 (#44) (@renovate[bot])
• a7bf590: chore(deps): update goreleaser/goreleaser-action action to v5 (#45) (@renovate[bot])

Full Changelog: v1.2.7...v1.2.8

kani v1.2.7

Changelog

Other

• 8c809e7: refactor: rename module to hypera.dev/kani, fix goreleaser (#42) (@joshuasing)

Full Changelog: v1.2.6...v1.2.7

kani v1.2.5

Changelog

Fixes

• 1fac522: fix(docker): use /etc/kani as a workdir (@joshuasing)

Dependency updates

• ce83c27: chore(deps): update alpine docker tag to v3.18.0 (#32) (@renovate[bot])
• b9393d3: chore(deps): update alpine docker tag to v3.18.2 (@joshuasing)
• ecaee6d: chore(deps): update golang docker tag to v1.20.4 (#31) (@renovate[bot])
• 61e571f: chore(deps): update golang docker tag to v1.20.6 (@joshuasing)
• 3cc385e: chore(deps): update module github.com/coreos/go-idc/v3 to v3.6.0 (@joshuasing)

Other

• f56ef93: chore(ci): resolve issues with goreleaser (@joshuasing)
• 32f5a0d: chore(ci): use Go 1.20.x (@joshuasing)
• 2e20d7c: chore(config): update renovate config (@joshuasing)
• 91e5961: chore: update README and copyright notices, add SECURITY and CONTRIBUTING (@joshuasing)

Full Changelog: v1.2.4...v1.2.5

kani v1.2.4

Changelog

Full Changelog: v1.2.3...v1.2.4