chore: migrate to GitHub-builtin coverage (#4132)