Merge branch 'master' of gitlab.lis-lab.fr:baptiste.bauvin/summit
Passed
Baptiste Bauvin
created pipeline for commit
56d167e2
, finished
For master
2 minutes 26 seconds, queued for 3 seconds