groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Pascal Schumacher <>
Subject Re: Github pull requests not picked up by CI server
Date Sun, 27 Dec 2015 08:25:28 GMT
Hi John,

I believe nobody changed the pull request job?, so I guess it's best to 
raise an issue with infra:

to check if there is an issue with the github integrations/hook.


Am 27.12.2015 um 04:42 schrieb John Wagenleitner:
> The <> 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.

View raw message