Pipeline
Details
c754edc
Manually run by marcus.denker@inria.fr
Started 1 mo 7 days ago
Queued 2 ms
Took 55 min
![[Jenkins]](/pharo-ci-jenkins2/static/c16e5eee/images/svgs/logo.svg){kind=logo}
