I made a pull request and the travis ci signals an error. The suggested fix is described [here](https://travis-ci.community/t/known-issue-travis-ci-reports-expected-waiting-for-status-to-be-reported-on-the-github-status-api-but-the-status-never-arrives/1154).
I made a pull request and the travis ci signals an error.
The suggested fix is described here.