Running in /builds/workspace/extended_v2.0-XOMVZN7EHL5KOZBJSLMVQTTE5AQN762WEIOA2NKDKMFHKDDPZOQQ/contrib/ci.inria.fr
![[Jenkins]](/hwloc/static/3615af24/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output