Migration from Travis CI to GitHub Actions in #761 did not migrate code coverage reporting; re-create it as GitHub Action.
