ci: remove code coverage from pr workflow

[jacderida]

This was always failing and in any case, wasn't being used.

Also took the opportunity to remove superfluous comments from the workflow.