Improvment
Passed
Amin Ben Romdhane
created pipeline for commit
40bb7f15
, finished
Related merge request !11 to merge refresh_dump_output
36 seconds, queued for 1 seconds