Docs

mgmt: migrate to new Dispatcher API for control commands #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
man / build (macos-13)	4m 46s
html / build (macos-13)	8m 32s
man / build (ubuntu-22.04)	2m 57s
html / build (ubuntu-22.04)	3m 4s
html / deploy / deploy	6s
	19m 25s