Coverage needs to be activated again

[joroeder]

see title. I removed the coverage from the github workflows, as the report did not work.

A coverage check and report needs to be added again.