Skip to content
Snippets Groups Projects

Refresh dump output only when the new output is ready

Merged Amin Ben Romdhane requested to merge refresh_dump_output into devel
Status
Pipeline
Created by
Stages
Passed

00:00:36

avatar
Download artifacts

No artifacts found

Passed

00:00:49

avatar
Download artifacts

No artifacts found

Loading