> If a job build does not trigger from a PR and everything seems right,
> check the advance configuration option under:
I meant, if a build does not start when you leave the comment:
"Jenkins, rebuild this please"
On Thu, Jan 5, 2017 at 4:04 PM, Davide D'Alto wrote:
> For future reference,
> the
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+
On Tue, Jan 3, 2017 at 6:23 PM, Yoann Rodiere 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 fe
Thanks! Looking forward to using pipelines :)
It seems PR jobs for Hibernate Search do not trigger anymore, though:
* https://github.com/hibernate/hibernate-search/pull/1273 was submitted
yesterday
* there is no build on http://ci.hibernate.org/view/Pull%20Requests/job/
hibernate-search-PR/ sin
Thanks for the feedback,
header and footer should be fine now.
Thanks,
Davide
On Thu, Dec 29, 2016 at 11:37 PM, Sanne Grinovero wrote:
> Thanks Davide!
> The builds seems to work just fine, the only minor defect I've noticed
> is with the stylesheet doing some strange things when scrolling down
Thanks Davide!
The builds seems to work just fine, the only minor defect I've noticed
is with the stylesheet doing some strange things when scrolling down:
the breadcrumbs will "float" down as well. Definitely not urgent,
great to have all updates!
Thanks,
Sanne
On 28 December 2016 at 01:04, Dav
Hi,
I hope you all had great holidays.
I've upgraded our Jenkin on CI to version 2.38.
As far as i can tell everything seems all right, but if you experience
some unusual problems,
please, let me know.
Cheers,
Davide
___
hibernate-dev mailing list
hib
