This is a list of the continuous integration servers used by the team. (Jenkins, Travis, or any other CI services…)
CI servers for current or highlighted developments
CI servers mainly related to team platform
Teaching platform
Software Language Engineering platform
- https://ci.inria.fr/k3al
- https://ci.inria.fr/kompren
- https://ci.inria.fr/malai
- https://ci.eclipse.fr/gemoc
Dynamic Adaptive Systems platform
Variability platform
- https://ci.inria.fr/familiar (also includes kCVL)
Diversity platform
Other platforms
CI servers mainly related to contracts
CI servers mainly related to prototypes
- https://ci.inria.fr/atsyra ATSyRA (Collaboration with Logica team)
- https://ci.inria.fr/moclodash/ Moclodash (Contact: Erwan Bousse)