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