Merge pull request #485 from feliperodri/fix-kani-ci-warnings #857

Job	Run time
macos (macos-15-intel, x86_64)	3m 9s
sdist	14s
windows (windows-latest, x86, x86)	3m 25s
linux (ubuntu-22.04, armv7)	3m 28s
macos (macos-latest, aarch64)	1m 29s
linux (ubuntu-22.04, ppc64le)	3m 29s
musllinux (ubuntu-22.04, x86)	3m 36s
linux (ubuntu-22.04-arm, aarch64)	5m 39s
linux (ubuntu-22.04, x86)	6m 25s
linux (ubuntu-22.04, x86_64)	3m 34s
windows (windows-11-arm, aarch64, arm64)	3m 4s
musllinux (ubuntu-22.04, x86_64)	3m 27s
musllinux (ubuntu-22.04-arm, aarch64)	3m 39s
musllinux (ubuntu-22.04, armv7)	4m 17s
windows (windows-latest, x64, x64)	3m 32s
Release	0s
	52m 27s

Provide feedback