ci: run coverage as part of "build" job#4635

davidhewitt wants to merge 1 commit into

PyO3:mainPyO3/pyo3:mainfrom

davidhewitt:coverage-inlinedavidhewitt/pyo3:coverage-inlineCopy head branch name to clipboard