Continuous integration

Move benchmarking to Criterion #72

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
secondary (1.56.0)	3m 9s
secondary (beta)	32s
windows (stable)	2m 0s
secondary (nightly)	30s
primary (stable)	32s
	6m 43s