build-doc-formats

🔧 add commit/pr format to AGENTS.md #842

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation builds (latex)	2m 53s
Documentation builds (man)	27s
Documentation builds (text)	23s
	3m 43s