[paparazzi-builds] [paparazzi] Passed: [docker] use ubuntu 16.04 and deal with user/group ids != 1000 (#1693) build #1

[Semaphore]

Build 1 Passed For pull request [docker] use ubuntu 16.04 and deal with user/group ids != 1000 #1693 on project paparazzi

View on Semaphore

Last commit for this build

	Felix Ruess	30 May 17:24
7a88d77 — [docker] use ubuntu 16.04 and deal with user/group ids != 1000

Build Results

10:19

Thread #1

docker pull flixr/pprz-dev

01:37

git submodule update --init

00:01

git clean -fxd

00:00

if [ "$SEMAPHORE_TRIGGER_SOURCE" = "scheduler" ]; then docker/run.sh -u $(stat -c "%u:%g" ./) -it flixr/pprz-dev make test_all_confs ; else docker/run.sh -u $(stat -c "%u:%g" ./) -it flixr/pprz-dev make test ; fi

08:26

git submodule deinit --force .

00:00

Manage your email notification settings.

Is this email not displaying correctly? Report the issue.

Sent by Semaphore