Skip to content
[Jenkins]Jenkins
log in

Build #7

Console

Pipeline

Details

301e7ba

Manually run by guillermo.polito@inria.fr

Started 4 yr 0 mo ago

Took 29 sec