Build+Test

More changes to the user manual #552

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-macos	7m 19s
build-linux	6m 32s
build-windows	10m 44s
tagged-release	0s
develop-release	0s
	24m 35s