Merge pull request #590 from jeremyandrews/clippy-fixes #1753

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build and run tests	6m 7s
verify formatting and style	1m 2s
	7m 9s