Split commit job (#298) #848

Job	Run time
sync / sync	1m 1s
sync / commit	21s
check / Check for zero-width space characters	29s
check / Lint translations	53s
check / Build docs (html)	6m 52s
check / Build docs (epub)	7m 9s
check / Build docs (latex)	7m 37s
check / Build docs (pdf)	10m 50s
	35m 12s

Provide feedback