Pipeline
Details
Started by upstream pipeline #20
Manually run by Frederic Gurr
Started 4 yr 2 mo ago
Queued 14 ms
Took 0.41 sec
![[Jenkins]](/cbi/static/514dd2e5/images/svgs/logo.svg){kind=logo}
