fixed #12465 - added (undocumented) command-line option `--executor` … #13382

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
convert_via_pandoc	19s
manpage	15s
	34s