Re: [Tei-council] Jenkins builds failing and not failing