[hibernate-dev] CI Updates

[Davide D'Alto]

I'm going to run some updates on CI this Friday.

Cheers,
Davide
_______________________________________________
hibernate-dev mailing list
hibernate-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/hibernate-dev