The Jenkins PR builds are currently building the master branch and do not merge the PR changes. Do not trust the build results in github. Instead build all PRs locally before merging. I'll disable the integration until fixed so users are not confused by the false positives.
Related INFRA tickets: * https://issues.apache.org/jira/browse/INFRA-14302 <https://issues.apache.org/jira/browse/INFRA-14302> * https://issues.apache.org/jira/browse/INFRA-14274 <https://issues.apache.org/jira/browse/INFRA-14274> Svet.
