Test

Runtime checks #7195

Job	Run time
fmt-check	32s
quick-tests	11m 4s
check-deps	14m 41s
clippy-check	7m 14s
smir-check	6s
release-build (ubuntu-latest)	11m 57s
release-build (windows-latest)	24m 57s
all-tests (ubuntu-latest)	1h 21m 13s
purification-tests	50m 59s
release-build (macos-latest)	16m 28s
all-tests (windows-latest)	18m 59s
test-crates (0)	1h 43m 52s
all-tests (macos-latest)	2h 9m 27s
test-crates (1)	45m 44s
test-crates (2)	1h 6m 6s
test-on-prusti	0s
test-crates (3)	53m 55s
can-merge	3s
	10h 37m 17s

Provide feedback