Build

Fix lint issue brought up by CI #142

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage	2m 54s
coverage	2m 54s
Test	2m 45s
Test	2m 45s
Format	12s
Format	12s
Clippy	15s
Clippy	15s
	12m 12s