45e1b52 — Merge branch 'coverity_scan' of github.com:paparazzi/paparazzi into coverity_scan
Build Results
11:52
Thread #1
docker pull flixr/pprz-dev
01:23
git --version
00:00
git status
00:01
git submodule deinit --force .
00:00
rm -rf .git/modules
00:00
git submodule update --init --force --recursive
00:39
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