Add Criterion as dev-dependency, fix CI for MSRV and minimal-versions…#1

Merged

wainwrightmark merged 1 commit intowainwrightmark:masterfrom rust-random:master

Dec 13, 2022

+717-2

Commits on Dec 11, 2022

Add Criterion as dev-dependency, fix CI for MSRV and minimal-versions (#1275 )
dhardy
authored