v5.0.x: DOCS: minor fix to autogen.pl related page #1728

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deployment	1m 17s
build	9m 25s
test	1m 4s
clean	1m 37s
	13m 23s