Docker installation # login in docker to gitlab docker login gitlab.laas.fr:4567 # clone repo git clone --branch humble-devel-coding-week-prague https://gitlab.laas.fr/agimus-project/agimus_dev_container.git