Merge branch 'master' of gitlab.lis-lab.fr:baptiste.bauvin/summit
Failed
Dominique Benielli
created pipeline for commit
71631ef6
, finished
For master
4 minutes 5 seconds, queued for 2 seconds