CI

fix: use Statistics instead of StatisticsImpl #251

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doc	31s
check	36s
miri	53s
Test on ubuntu-latest	1m 1s
Test on windows-latest	1m 48s
Test on macos-latest	1m 5s
	5m 54s