Github user jeking3 commented on the issue:
https://github.com/apache/thrift/pull/1206
If the build fails try using this technique to kick another if you think it
was environmental:
git commit --amend
don't change anything, just save. This makes a new identical commit with
a new hash.
git push -u origin <branch name> --force
overwrites the previous push and kicks another build
Thanks.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
