dashboard merge requestshttps://gepgitlab.laas.fr/gepetto/dashboard/-/merge_requests2020-07-22T13:08:50Zhttps://gepgitlab.laas.fr/gepetto/dashboard/-/merge_requests/1WIP: Run less jobs during the gitlab CI2020-07-22T13:08:50ZTom PillotWIP: Run less jobs during the gitlab CI