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