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