build-doc-formats

🔧 Add `AGENTS.md` #819

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation builds (latex)	2m 36s
Documentation builds (text)	25s
Documentation builds (man)	29s
	3m 30s