Skip to content

Restore coverage tracking #379

Open
Open
Restore coverage tracking#379
Labels
bugFixes an issue, incorrect implementationhelp wantedWould be great if you could help out here.
@smarr

Description

@smarr
smarr
opened on Apr 21, 2021

With #378 coverage tracking wasn't ported to GitHub actions, mostly because the setup seems to be defunct.

Should restore it and get proper integration with GitHub again.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugFixes an issue, incorrect implementationhelp wantedWould be great if you could help out here.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions