CI checks

Migrate from `quickcheck` to `proptest` #1535

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test on ubuntu-latest	3m 2s
Test on windows-latest	5m 1s
Test on macOS-latest	4m 18s
Bitrot	2m 46s
Build target wasm32-wasi	2m 11s
Clippy (MSRV)	2m 50s
Code coverage	3m 41s
Intra-doc links	2m 40s
Rustfmt	13s
	26m 42s