[CI] Update coverage workflows and some cleanup (backport #819) #423
Triggered via pull request
November 11, 2023 18:49
mergify[bot]
mergify[bot]
opened
#828
Status
Success
Total duration
1m 26s
Artifacts
–