Hi, I submitted PR #166 <https://github.com/apache/zookeeper/pull/166> a few days ago, but Jenkins seems to have had a blip <https://builds.apache.org/job/PreCommit-ZOOKEEPER-github-pr-build/288/console>on github PR build #288 (Target "qa-test-pullrequest" does not exist in the project "ZooKeeper”).
How should I proceed ? New PR ? Else can somebody kick the Jenkins build in that PR ? It looks to me like something went wrong with ant on that build attempt, but maybe I’m missing something.