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