Davide, checking the CI logs I see:
Not sending mail to user ggam@[edited] with no permission to view
hibernate-orm-master-h2-check #358
Not sending mail to user bogdan.stirbat@[edited] with no permission to
view hibernate-orm-master-h2-check #358
Not sending mail to user andrew_geery@[edited] with no permission to
view hibernate-orm-master-h2-check #358
An attempt to send an e-mail to empty list of recipients, ignored.
So nobody heard of this. Would be great if we could figure out a way
to notify the people who merged the PR, on top of trying to reach the
commit authors?
On 6 November 2017 at 14:53, Vlad Mihalcea
<mihalcea.vlad(a)gmail.com> wrote:
> They are not working. I haven't got any alert about the build failure.
>
> Vlad
>
> On 6 Nov 2017 4:51 pm, "Sanne Grinovero" <sanne(a)hibernate.org>
wrote:
>>
>> On 6 November 2017 at 14:41, Vlad Mihalcea <mihalcea.vlad(a)gmail.com>
>> wrote:
>> > Looks like there is some indentation issue:
>> >
>> >
>> >
http://ci.hibernate.org/view/ORM/job/hibernate-orm-master-h2-check/ws/too...
>> >
>> > I'll fix it and see if the job runs fine afterward.
>>
>> Thanks! And let me know if the CI emails aren't working, we'll look into
>> that.
>>
>> Sanne
>>
>> >
>> > Vlad
>> >
>> > On Mon, Nov 6, 2017 at 4:38 PM, Sanne Grinovero <sanne(a)hibernate.org>
>> > wrote:
>> >>
>> >> Vlad, according to CI looks like you are responsible for having merged
>> >> the offending changes :)
>> >> Would you mind fixing it? It just failed to build some local
>> >> experiments and I wasn't sure what I was doing wrong.
>> >>
>> >>
http://ci.hibernate.org/view/ORM/job/hibernate-orm-master-h2-check/358/
>> >>
>> >> You should have received automated nagging emails too, please let me
>> >> know if you didn't?
>> >>
>> >> Thanks,
>> >> Sanne
>> >
>> >