Meanwhile https://github.com/hibernate/hibernate-search/pull/1395 should increase clarity. If the decision is thought-through and since having more than one CI is always controversial (@GuillaumeSmet already raised some points), I'm fine with leaving it as it is.