Test

Fix windows CI builds (#1476) #7310

Job	Run time
check-deps	11m 24s
clippy-check	5m 15s
fmt-check	39s
quick-tests	7m 46s
smir-check	4s
all-tests (ubuntu-latest)	1h 5m 15s
release-build (ubuntu-latest)	7m 25s
all-tests (windows-latest)	1h 31m 22s
purification-tests	40m 25s
release-build (windows-latest)	12m 42s
test-crates (0)	1h 0m 2s
all-tests (macos-latest)	1h 42m 35s
release-build (macos-latest)	23m 27s
test-crates (1)	32m 12s
test-crates (2)	42m 47s
test-on-prusti	0s
test-crates (3)	42m 44s
can-merge	4s
	9h 6m 8s

Provide feedback