Test make documentation

Merge pull request #284 from phpbb/actions/build_pdf #208

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build user docs PDF	21s
Build user docs for website	8s
Build development docs	36s
	1m 5s