[CI] Update coverage workflows and some cleanup#819
Merged
bmagyar merged 6 commits intoros-controls:masterfrom christophfroehlich:update_coverage_ciNov 11, 2023
+150-14
Commits
Commits on Nov 7, 2023
- committed
- committed
- committed
- committed
- authored
