CI checks

Migrate from `quickcheck` to `proptest` #1534

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Bitrot	2m 47s
Build target wasm32-wasi	2m 6s
Test on ubuntu-latest	3m 15s
Test on windows-latest	4m 25s
Test on macOS-latest	4m 10s
Clippy (MSRV)	2m 47s
Code coverage	3m 45s
Intra-doc links	2m 46s
Rustfmt	10s
	26m 11s