Hi,
Jenkins is up-to-date now.
Please, keep that in mind if you face some problems.
Cheers,
Davide
On Fri, Jul 20, 2018 at 11:16 AM, Davide D'Alto <davide(a)hibernate.org> wrote:
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