[hibernate-dev] CI environment(s)

Wednesday, 19 August 2020

There is a discussion on
https://github.com/hibernate/hibernate-orm/pull/3391 related to the use of
Travis versus Jenkins for CI tests.

If anyone has strong opinions please comment on the PR.

Thanks!