For future reference,
these problems should be fixed now.
If a job build does not trigger from a PR and everything seems right,
check the advance configuration option under:
Build Triggers > GitHub Pull Request Builder > Trigger phrase
If it's blank try set it to something like: .*test\W+this\W+please.*
This might change on future Jenkins updates.
Cheers
On Tue, Jan 3, 2017 at 10:39 PM, Guillaume Smet
<guillaume.smet(a)gmail.com> wrote:
On Tue, Jan 3, 2017 at 6:23 PM, Yoann Rodiere
<yoann(a)hibernate.org> wrote:
>
> It's a bit odd, because the OGM PR job seems to work fine... From what I
> can see there hasn't been any particular change on the OGM job.
As for OGM, the build is triggered but does not report back to GitHub. I
pinged Davide about it a few hours ago, he's working on it.
--
Guillaume