Pipeline
Details
105a7da
Manually run by guillermo.polito@inria.fr
Started 4 yr 1 mo ago
Took 8.6 sec
![[Jenkins]](/pharo-ci-jenkins2/static/c16e5eee/images/svgs/logo.svg){kind=logo}
