I don’t know the answer. Asked separately at Multiple Travis PR checks with different configurations.