small change to fix builds on macos #1995

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-clippy	6m 15s
build-and-test	6m 22s
check-license	32s
build-docs	2m 46s
check-style	4m 45s
	20m 40s