Pipeline
Details
Manually run by Sébastien Heurtematte
Started 1 mo 2 days ago
Queued 0.13 sec
Took 31 ms
![[Jenkins]](/cbi/static/514dd2e5/images/svgs/logo.svg){kind=logo}
