Use release 2.1.0 of Pinocchio

3 jobs for devel in 124 minutes and 47 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed devel-build #12153

01:03:24

 
  Test
failed devel-test #12154
allowed to fail

00:19:39

 
  Deploy
passed devel-doc #12155

00:41:43

 
Name Stage Failure
failed
devel-test Test
No job log