Build manual

fix #14115: GUI: allow that premium misra C is enabled even if there … #19268

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
convert_via_pandoc	15s
manpage	24s
	39s