Test

Merge pull request #1486 from viperproject/fpoli-patch-3 #7328

Job	Run time
check-deps	11m 9s
clippy-check	3m 48s
fmt-check	22s
smir-check	5s
quick-tests	6m 44s
purification-tests	26m 1s
release-build (ubuntu-latest)	7m 21s
all-tests (ubuntu-latest)	26m 30s
release-build (windows-latest)	14m 21s
test-crates (0)	1h 2m 10s
all-tests (windows-latest)	35m 25s
test-on-prusti	0s
release-build (macos-latest)	18m 20s
test-crates (1)	32m 50s
all-tests (macos-latest)	47m 50s
test-crates (2)	44m 6s
test-crates (3)	42m 21s
can-merge	3s
	6h 19m 26s

Provide feedback