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