Split commit job (#298) #19

Job	Run time
sync / sync	58s
sync / commit	33s
check / Lint translations	1m 10s
check / Check for zero-width space characters	31s
check / Build docs (epub)	8m 39s
check / Build docs (html)	8m 5s
check / Build docs (latex)	8m 14s
check / Build docs (pdf)	5m 1s
	33m 11s

Provide feedback