fix CI
Passed
Domenico Giordano
created pipeline for commit
d743370c
, finished
1 related merge request: !13 Qa
5 minutes 17 seconds, queued for 14 seconds