So let's discuss before any work will be done. I see two main options: * travis CI * gitlab CI Which one maintainers prefer?
