Test

Fix signed discriminant in pure code (#1502) #7371

Job	Run time
fmt-check	22s
check-deps	11m 5s
clippy-check	4m 7s
quick-tests	7m 33s
smir-check	3s
purification-tests	26m 7s
all-tests (ubuntu-latest)	29m 2s
all-tests (windows-latest)	32m 43s
release-build (ubuntu-latest)	7m 19s
test-crates (0)	1h 0m 19s
all-tests (macos-latest)	39m 19s
release-build (windows-latest)	13m 49s
test-on-prusti	0s
test-crates (1)	32m 31s
release-build (macos-latest)	10m 53s
test-crates (2)	44m 52s
test-crates (3)	46m 32s
can-merge	2s
	6h 6m 38s

Provide feedback