small change
Passed
pierre.kunzli
created pipeline for commit
ae04f4aa
, finished
1 related merge request: !12 Pk
7 minutes 0 seconds, queued for 1 seconds