@sqrtminusone Yes, a few CI servers will be nice to have, but the cool thing is that it doesn't really matter who will build, where and how. You won't need to set a specific list of substitutes anymore. For small channels you won't even really need a CI in most cases.