Coverage: add detailed report to job summary - #655

Coverage: add detailed report to job summary#655

AlexWaygood merged 5 commits into

python:mainpython/typing_extensions:mainfrom

brianschubert:coverage-job-summarybrianschubert/typing_extensions:coverage-job-summaryCopy head branch name to clipboard