Add coverage run to GitHub actions