[Tei-council] UVic Jenkins down

Hi all, Just a heads-up that the UVic Jenkins server is down. Our sysadmins tried to migrate it to a new VM infrastructure yesterday, and it looks like the process was not successful. I'm currently on vacation and don't have regular network access, so the timing wasn't great. I don't know when it's expected to be back up, I'm afraid. Cheers, Martin