Extract coverage badge generation to dedicated workflow using rhiza-tools#592

Copilot wants to merge 13 commits intomainJebel-Quant/rhiza:mainfrom

copilot/create-coverage-badge-workflowJebel-Quant/rhiza:copilot/create-coverage-badge-workflowCopy head branch name to clipboard