Build

Merge branch 'develop' into linker_wrapper_new #1499

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	1m 32s
build (3.8)	1m 32s
build (3.9)	1m 22s
build (3.10)	1m 23s
	5m 49s