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