-
Notifications
You must be signed in to change notification settings - Fork 200
CI CD tools
Simon Garnotel edited this page Apr 11, 2018
·
9 revisions
The INRIA Jenkins server is used for the CI/CD integration of the source code.
Compilation results are displayed with badges directly in the README.md of master and develop branches.