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

Am 01.02.2021 um 19:33 schrieb Martin Holmes :

Are these irrelevant distractions? They aren't suppressed in the tei-log-parse-rules file in the Jenkins repo.

I don’t know. But I think in general it makes sense to fail the build when there are errors. Which I’ve just checked and so the build is marked as failed. I see that your Jenkins is happily going on with the build, so probably you haven’t checked this box? If those errors are indeed non-brainers we should add it to the log-parse-rules Peter