Fix coverage reports
The coverage reporting seems to have been broken since the update of gitlab to v15.
This MR should fix that.
Edited by Colm Talbot
The coverage reporting seems to have been broken since the update of gitlab to v15.
This MR should fix that.