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 <dav...@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 _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
