Merge branch 'devel' into 'devel'

update pinocchio

See merge request !7
6 jobs for devel in 135 minutes and 37 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #86097
allowed to fail
devel-16.04-build

00:30:06

passed #86096
devel-18.04-build

01:05:55

 
  Test
failed #86099
allowed to fail
devel-16.04-test

00:12:00

passed #86098
devel-18.04-test

00:18:20

 
  Deploy
failed #86101
allowed to fail
devel-16.04-doc

00:16:18

passed #86100
devel-18.04-doc

00:51:21

 
Name Stage Failure
failed
devel-16.04-doc Deploy
make: *** [hpp-corbaserver.install] Error 2
Running after_script
Running after script...
$ mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
Uploading artifacts for failed job
Uploading artifacts...
workspace: found 51156 matching files and directories

Uploading artifacts as "archive" to coordinator... ok
id=86101 responseStatus=201 Created token=G5GgcQKz
ERROR: Job failed: exit code 1
failed
devel-16.04-test Test
$ exit $status
Running after_script
Running after script...
$ mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
Uploading artifacts for failed job
Uploading artifacts...
workspace: found 21944 matching files

Uploading artifacts to coordinator... ok
id=86099 responseStatus=201 Created token=6i26Vn_V
ERROR: Job failed: exit code 1
failed
devel-16.04-build Build
make: *** [test-ci] Error 2
Running after_script
Running after script...
$ mv $DEVEL_HPP_DIR $CI_PROJECT_DIR
Uploading artifacts for failed job
Uploading artifacts...
workspace: found 21714 matching files

Uploading artifacts to coordinator... ok
id=86097 responseStatus=201 Created token=kyspXgUW
ERROR: Job failed: exit code 1