Merge pull request #636 from jcarpent/devel

all: fix additional bug related to recent versions of boost
10 jobs for v2.0.0 in 3 minutes and 36 seconds (queued for 15 minutes and 44 seconds)
latest
Status Name Job ID Coverage
  Test
failed doc-coverage #12507

00:00:19

failed robotpkg-pinocchio-14.04-release #12498

00:00:36

failed robotpkg-pinocchio-16.04-release #12499

00:02:48

failed robotpkg-pinocchio-18.04-release #12500

00:00:25

failed robotpkg-py-pinocchio-14.04-release #12501

00:00:37

failed robotpkg-py-pinocchio-16.04-release #12503

00:00:28

failed robotpkg-py-pinocchio-18.04-release #12505

00:00:26

failed robotpkg-py-pinocchio-py3-14.04-release #12502
allowed to fail

00:02:59

failed robotpkg-py-pinocchio-py3-16.04-release #12504
allowed to fail

00:00:32

failed robotpkg-py-pinocchio-py3-18.04-release #12506
allowed to fail

00:00:22

 
Name Stage Failure
failed
doc-coverage Test
No job log
failed
robotpkg-py-pinocchio-py3-18.04-release Test
No job log
failed
robotpkg-py-pinocchio-18.04-release Test
No job log
failed
robotpkg-py-pinocchio-py3-16.04-release Test
No job log
failed
robotpkg-py-pinocchio-16.04-release Test
No job log
failed
robotpkg-py-pinocchio-py3-14.04-release Test
No job log
failed
robotpkg-py-pinocchio-14.04-release Test
No job log
failed
robotpkg-pinocchio-18.04-release Test
No job log
failed
robotpkg-pinocchio-16.04-release Test
No job log
failed
robotpkg-pinocchio-14.04-release Test
No job log