jenkins.kodi.tv?



Have there been any problems with the jenkins.kodi.tv page recently?

For example:
https://jenkins.kodi.tv/blue/organizatio…e/branches