.github

[WIP] Set up code coverage reporting and integrate into CI workflows

#9

Merged