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