Gitlab MR does not appear in Codecov's list

@detly I suspect this has to do with this issue. Let’s fix that one first and see if it resolves this too?