Ticket is solved. Your PRs are building. :)
-------- Weitergeleitete Nachricht --------
Betreff: Re: Github pull requests not picked up by CI server
Datum: Mon, 28 Dec 2015 08:37:55 +0100
Von: Pascal Schumacher <[email protected]>
Antwort an: [email protected], [email protected]
An: [email protected]
As it is still not working (I checked by force pushing a pull request) I
created a issue with infrastructure:
https://issues.apache.org/jira/browse/INFRA-11004
Am 27.12.2015 um 09:25 schrieb Pascal Schumacher:
Hi John,
I believe nobody changed the pull request job?, so I guess it's best
to raise an issue with infra:
https://issues.apache.org/jira/browse/INFRA/?selectedTab=com.atlassian.jira.jira-projects-plugin:summary-panel
to check if there is an issue with the github integrations/hook.
Cheers,
Pascal
Am 27.12.2015 um 04:42 schrieb John Wagenleitner:
The builds.apache.org <http://builds.apache.org> CI server doesn't
seem to be picking up Github pull requests. If there's a more
appropriate way to report this kind of issue please let me know and
I'll follow it in the future.
