CI

Merge pull request #569 from jeremyandrews/clippy #1714

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify formatting and style	1m 36s
build and run tests	9m 54s
	11m 30s