doc-build

fix: remove unneeded ostream that was added for debugging #646

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-source	9m 17s
build-docs	2m 17s
page-deployement	0s
	11m 34s