Split commit job #18

Job	Run time
sync / sync	42s
sync / commit	32s
check / Lint translations	49s
check / Check for zero-width space characters	6s
check / Build docs (html)	8m 8s
check / Build docs (latex)	6m 41s
check / Build docs (epub)	6m 27s
check / Build docs (pdf)	4m 53s
	28m 18s

Provide feedback