Test

Prusti 2.0: Free PCS #7217

Job	Run time
check-deps	14m 43s
clippy-check	5m 26s
fmt-check	31s
quick-tests	10m 15s
smir-check	4s
purification-tests	18m 14s
all-tests (ubuntu-latest)	20m 59s
test-crates (0)	40m 30s
all-tests (windows-latest)	32m 8s
release-build (ubuntu-latest)	14m 15s
test-crates (1)	40m 31s
all-tests (macos-latest)	25m 46s
release-build (windows-latest)	21m 26s
test-on-prusti	0s
test-crates (2)	40m 30s
release-build (macos-latest)	18m 7s
test-crates (3)	40m 30s
can-merge	2s
	5h 43m 57s

Provide feedback