Repository navigation

build(deps): bump proptest from 1.10.0 to 1.11.0 (#1460) #402

Job	Run time
test-careful	1m 16s
test-miri (x86_64-unknown-linux-gnu)	53s
test (1.85.0)	1m 31s
build (1.85.0, thumbv7em-none-eabi)	17s
build (1.85.0, wasm32-unknown-unknown)	15s
test (stable)	1m 36s
build (stable, wasm32-unknown-unknown)	8s
test-miri (s390x-unknown-linux-gnu)	1m 9s
build (stable, thumbv7em-none-eabi)	10s
minimal-versions / minimal-versions	27s
	7m 42s