Continuous integration is useful for being able to quickly merge contributions from multiple developers to one project. Indeed, it is important to ensure that the whole project stays coherent, and that their no conflict between the pieces added from the different developers.

Travis is a useful tool we learn to use in GEN. This is the only course where I had to configure it myself.

For our use case, using travis didn't made really a difference, since we were only two people working on a lab. But we know now how to enable it with a github repository, which will be very useful I am sure.

This is an example of a Travis verified pull request merge that was done during laboratory n°5.

It was also interesting to hear about git workflows such as those one can see there https://git-scm.com/book/en/v2/Distributed-Git-Distributed-Workflows