Test

Fix windows CI builds #7306

Job	Run time
smir-check	5s
quick-tests	6m 10s
all-tests (ubuntu-latest)	1h 0m 41s
check-deps	10m 15s
all-tests (windows-latest)	17m 25s
clippy-check	3m 17s
all-tests (macos-latest)	1h 39m 42s
fmt-check	40s
release-build (ubuntu-latest)	7m 17s
release-build (windows-latest)	12m 41s
release-build (macos-latest)	17m 10s
test-crates (0)	1h 0m 38s
purification-tests	39m 35s
test-crates (1)	33m 47s
test-on-prusti	0s
test-crates (2)	42m 53s
test-crates (3)	42m 15s
can-merge	4s
	7h 34m 35s

Provide feedback