Skip to content

Unify coverage instructions

Closes #567 (closed)

Merge request reports