[CI] Update coverage workflows and some cleanup (backport #819) #426
Triggered via pull request
November 11, 2023 19:03
christophfroehlich
christophfroehlich
reopened
#828
Status
Success
Total duration
49s
Artifacts
–