On 13 Mar 2018, at 17:10, Mojca Miklavec <mojca.miklavec.li...@gmail.com> wrote: > The main problem is that Travis is *not* out main build system, we use > a different system for that. Travis has lots of limitations:
Got it. Then why use it in the first place instead of an alternative CI?
