Fix whitespace formatting errors and CI coverage file handling#1355

Copilot wants to merge 1 commit intomaingithub/gh-gei:mainfrom

copilot/fix-c0949f09-0681-4bf7-8c1b-899546a4987fgithub/gh-gei:copilot/fix-c0949f09-0681-4bf7-8c1b-899546a4987fCopy head branch name to clipboard