[hibernate-dev] Jenkins updates

[Davide D'Alto]

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 at 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