Test

Clean up the coverage workflow #7363

Job	Run time
smir-check	5s
clippy-check	3m 27s
fmt-check	22s
check-deps	10m 45s
quick-tests	6m 31s
all-tests (ubuntu-latest)	26m 34s
all-tests (windows-latest)	31m 51s
purification-tests	26m 27s
all-tests (macos-latest)	34m 5s
test-crates (0)	59m 43s
release-build (ubuntu-latest)	7m 25s
test-crates (1)	32m 36s
release-build (windows-latest)	12m 36s
test-crates (2)	41m 37s
test-on-prusti	0s
release-build (macos-latest)	10m 50s
test-crates (3)	42m 34s
can-merge	1s
	5h 47m 29s

Provide feedback