Test

Fix zip on windows #7364

Job	Run time
check-deps	10m 27s
clippy-check	3m 44s
fmt-check	23s
quick-tests	6m 40s
smir-check	3s
purification-tests	26m 14s
all-tests (ubuntu-latest)	27m 36s
test-crates (0)	1h 0m 31s
release-build (ubuntu-latest)	7m 27s
all-tests (windows-latest)	34m 12s
test-crates (1)	32m 17s
release-build (windows-latest)	12m 46s
all-tests (macos-latest)	34m 48s
test-crates (2)	46m 20s
test-on-prusti	0s
release-build (macos-latest)	21m 22s
test-crates (3)	41m 41s
can-merge	7s
	6h 6m 38s

Provide feedback