75540f1 — [docker] use ubuntu 16.04 and deal with user/group ids != 1000
Build Results
09:13
Thread #1
docker pull flixr/pprz-dev
01:20
git --version
00:00
git status
00:00
git submodule update --init --force --recursive
00:00
if [ "$SEMAPHORE_TRIGGER_SOURCE" = "scheduler" ]; then docker/run.sh -it flixr/pprz-dev make test_all_confs ; else docker/run.sh -it flixr/pprz-dev make test ; fi