Pipeline
Details
Started by upstream pipeline #18
Manually run by Frederic Gurr
Started 1 yr 6 mo ago
Queued 0.14 sec
Took 26 sec
![[Jenkins]](/cbi/static/ccb28fb9/images/svgs/logo.svg){kind=logo}
