Features

Merge requests in Github (and others) are a bit funny in that any workflows are ran on the merged version of the base and head branches. This means that the coverage information will be reported for a different commit SHA.