Merge pull request #526 from stack-of-tasks/devel

Merge devel into master
14 jobs for v1.3.1 in 376 minutes and 42 seconds (queued for 7 seconds)
latest
Status Job ID Name Coverage
  Test
passed doc-coverage #6741

03:51:27

91.0%
passed robotpkg-pinocchio-14.04-release #6677

00:41:47

passed robotpkg-pinocchio-16.04-release #6678

00:44:29

passed robotpkg-pinocchio-18.04-release #6679

00:55:19

passed robotpkg-py-pinocchio-14.04-release #6680

01:59:45

passed robotpkg-py-pinocchio-16.04-release #6682

02:05:18

passed robotpkg-py-pinocchio-18.04-release #6684

02:25:15

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

02:40:16

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

02:50:59

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

03:13:45

failed doc-coverage #6686

02:27:36

91.0%
failed robotpkg-py-pinocchio-py3-14.04-release #6681
allowed to fail

01:59:45

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

02:05:07

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

02:24:27

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