Merge branch 'master' into devel

12 jobs for devel in 24 minutes and 11 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #68418
doc-coverage

00:21:29

93.0%
failed #70749
allowed to fail
format

00:00:30

passed #68413
robotpkg-dynamic-graph-v3-16.04-debug

00:19:52

passed #68412
robotpkg-dynamic-graph-v3-16.04-release

00:20:42

passed #68415
robotpkg-dynamic-graph-v3-18.04-debug

00:21:14

passed #68414
robotpkg-dynamic-graph-v3-18.04-release

00:21:31

passed #68417
robotpkg-dynamic-graph-v3-stretch-debug

00:21:17

passed #68789
robotpkg-dynamic-graph-v3-stretch-release

00:02:08

failed #69129
allowed to fail
format

00:13:46

failed #68585
allowed to fail
format

00:07:55

failed #68419
allowed to fail
format

00:06:02

failed #68416
robotpkg-dynamic-graph-v3-stretch-release

00:09:17

 
Name Stage Failure
failed
format Test
-  catch(const std::exception& exc)
- {
+ } catch (const std::exception &exc) {
std::cout << exc.what() << std::endl;
BOOST_CHECK(!"Tentative to set signal to empty string");
}
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1