Continuous Integration Service

[asherikov]

We have recently experienced a problem with CI service provided by INRIA: our virtual machines with their configurations were lost.

It is therefore important to consider a possibility of using of other free CI services. The main obstacle for this is that we also have to test non-public code and we don't want it to leak. If we decide to use some external CI service for public code only, the maintenance costs increase.

In any case we must find a way to backup configurations of the virtual machines.

[asherikov]

Resolution (discussed by JM, AS, and PBW): keep using CI service provided by INRIA.