Build manual

TestOther: use check options and cleaned up `Settings` objects (#7882) #19379

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
convert_via_pandoc	20s
manpage	27s
	47s