Use release 2.1.0 of Pinocchio

3 jobs for devel in 119 minutes and 39 seconds
Name Stage Failure
failed
devel-test Test
No job log