Test

Optimize encoding of mir::BinOp::Rem for unsigned integers (#1503) #7370

Job	Run time
check-deps	10m 32s
clippy-check	3m 34s
fmt-check	21s
quick-tests	6m 35s
smir-check	3s
release-build (ubuntu-latest)	7m 31s
release-build (windows-latest)	14m 1s
purification-tests	42m 28s
test-crates (0)	59m 50s
release-build (macos-latest)	21m 30s
all-tests (ubuntu-latest)	1h 7m 1s
test-crates (1)	31m 56s
all-tests (windows-latest)	1h 27m 3s
test-on-prusti	0s
test-crates (2)	45m 14s
all-tests (macos-latest)	1h 40m 44s
test-crates (3)	44m 44s
can-merge	5s
	9h 3m 12s

Provide feedback