Merge branch 'master' into devel

6 jobs for devel in 4 minutes and 35 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
passed doc-coverage #85194

00:03:52

93.0%
failed format #85195
allowed to fail

00:00:14

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

00:02:44

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

00:02:43

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

00:04:34

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

00:02:30

 
Name Stage Failure
failed
format Test
   try {
float afloat(anet);
- afloat++; // silence unused variable warnings to have a stable release in the ros buildfarm
+ afloat++; // silence unused variable warnings to have a stable release in
+ // the ros buildfarm
} catch (const dg::ExceptionAbstract &aea) {
res = (aea.getCode() == dg::ExceptionAbstract::TOOLS);
}
ERROR: Job failed: exit code 1