Use release 2.1.0 of Pinocchio

3 jobs for devel in 124 minutes and 47 seconds (queued for 1 second)
Name Stage Failure
failed
devel-test Test
No job log