Test

Updated snapshot injectivity axiom. (#1475) #7316

Job	Run time
clippy-check	3m 31s
check-deps	10m 11s
fmt-check	20s
quick-tests	6m 27s
smir-check	3s
release-build (ubuntu-latest)	7m 25s
release-build (windows-latest)	12m 52s
all-tests (ubuntu-latest)	36m 31s
test-crates (0)	1h 1m 16s
release-build (macos-latest)	15m 50s
all-tests (windows-latest)	45m 32s
purification-tests	26m 47s
test-crates (1)	32m 18s
all-tests (macos-latest)	57m 21s
test-crates (2)	44m 6s
test-crates (3)	41m 50s
test-on-prusti	0s
can-merge	3s
	6h 42m 23s

Provide feedback