developer

More threading fixes, more checking of parameters, more testing #707

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
developer (asan)	1m 35s
developer (code coverage)	45s
developer (memcheck)	1s
developer (docs)	1s
developer (format)	1s
developer (warning)	1s
	2m 24s