Test

Fix windows CI builds #7309

Job	Run time
fmt-check	25s
clippy-check	3m 24s
quick-tests	6m 15s
check-deps	10m 34s
smir-check	5s
purification-tests	8m 49s
release-build (ubuntu-latest)	7m 7s
all-tests (ubuntu-latest)	24m 53s
release-build (windows-latest)	13m 25s
all-tests (windows-latest)	39m 12s
test-crates (0)	1h 0m 23s
release-build (macos-latest)	21m 59s
all-tests (macos-latest)	37m 4s
test-crates (1)	32m 36s
test-on-prusti	0s
test-crates (2)	45m 6s
test-crates (3)	42m 56s
can-merge	4s
	5h 54m 17s

Provide feedback