Resolve "master pipeline sometimes fails"

Closes #398 (closed)

Edited by Maarten de Waard

Merge request reports

Loading