Skip to content

Fix coverage-report deploy

Deploy of coverage reports to gitlab pages accidentally got broken in !398 (merged).

Edited by Frederik Hennig

Merge request reports

Loading