Back to pull request #3564

fixes #3561 -- silence new clippy warning #3374

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
guide-build	17s
Cargo benchmark	0s
Pytest benchmark	0s
	17s