Re: [tei-council] Jenkins build process