Skip to content

GitLab

Merge branch 'master' into devel

6 jobs for devel in 4 minutes and 35 seconds (queued for 2 seconds)
7ad3c601
No related merge requests found.
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