|Re: [tycho-dev] Jenkins is not triggered|
FYI, I was even not able to connect to https://ci.eclipse.org/tycho/ so I triggered a Jenkins restart (from the portal). No Jenkins is accessible and gets triggered on changes.
Jenkins does not get triggered for that change: https://git.eclipse.org/r/#/c/121541/ . Does anyone has an idea why?