Hello, I'm planning to update Jenkins today. This means that there might be some disruptions on CI. Let me know if you have something planned that requires CI. Cheers, Davide