der

chore(deps): bump proptest from 1.2.0 to 1.5.0 #2896

Job	Run time
build (1.71.0, thumbv7em-none-eabi)	1m 41s
derive (1.71.0)	28s
build (1.71.0, wasm32-unknown-unknown)	1m 39s
minimal-versions	0s
derive (stable)	18s
build (stable, thumbv7em-none-eabi)	1m 31s
build (stable, wasm32-unknown-unknown)	1m 19s
test (i686-unknown-linux-gnu, ubuntu-latest, 1.71.0, sudo apt update && sudo apt install gcc-mult...	12m 36s
test (i686-unknown-linux-gnu, ubuntu-latest, stable, sudo apt update && sudo apt install gcc-mult...	9m 59s
test (x86_64-unknown-linux-gnu, ubuntu-latest, 1.71.0)	10m 55s
test (x86_64-unknown-linux-gnu, ubuntu-latest, stable)	9m 53s
	50m 19s

Provide feedback