Build

Merge branch 'develop' into add_shell_tool_clean #1437

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	2m 18s
build (3.8)	1m 53s
build (3.9)	1m 22s
build (3.10)	1m 53s
	7m 26s