Provide Specs for the Standard Library #7159

Job	Run time
check-deps	17m 12s
fmt-check	31s
clippy-check	12m 2s
quick-tests	15m 47s
smir-check	4s
release-build (ubuntu-latest)	11m 37s
release-build (windows-latest)	24m 9s
release-build (macos-latest)	27m 58s
all-tests (ubuntu-latest)	36m 0s
all-tests (windows-latest)	1h 1m 41s
all-tests (macos-latest)	1h 7m 5s
test-crates (0)	1h 35m 58s
test-crates (1)	57m 29s
test-crates (2)	1h 1m 12s
test-crates (3)	1h 14m 32s
purification-tests	29m 23s
test-on-prusti	0s
can-merge	2s
	9h 52m 42s

Provide feedback