[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New GNUstep CI server on AWS...
From: |
David Chisnall |
Subject: |
Re: New GNUstep CI server on AWS... |
Date: |
Mon, 11 Jul 2016 07:48:58 +0100 |
Hi,
Is this hooked up to GitHub in some way for pull requests, so that we can see
if things cause regressions before merging?
David
> On 10 Jul 2016, at 19:38, Gregory Casamento <greg.casamento@gmail.com> wrote:
>
> Hey guys,
>
> The new server is on AWS at the following address:
>
> http://gnustep.broke-it.net:8080/
>
> I may move it to port 80 at some point, but for now this works. The reason
> for the move is that the server that the github mirror was on was also host
> to Jenkins. That machine has proven itself to be somewhat unreliable so I
> have moved these services into the cloud.
>
> Thanks, GC
> --
> Gregory Casamento
> GNUstep Lead Developer / OLC, Principal Consultant
> http://www.gnustep.org - http://heronsperch.blogspot.com
> http://ind.ie/phoenix/
> _______________________________________________
> Discuss-gnustep mailing list
> Discuss-gnustep@gnu.org
> https://lists.gnu.org/mailman/listinfo/discuss-gnustep
- New GNUstep CI server on AWS..., Gregory Casamento, 2016/07/10
- Re: New GNUstep CI server on AWS...,
David Chisnall <=
- Re: New GNUstep CI server on AWS..., Gregory Casamento, 2016/07/11
- Re: New GNUstep CI server on AWS..., Niels Grewe, 2016/07/13
- Re: New GNUstep CI server on AWS..., David Chisnall, 2016/07/13
- Re: New GNUstep CI server on AWS..., Gregory Casamento, 2016/07/13
- Re: New GNUstep CI server on AWS..., Gregory Casamento, 2016/07/13
- Re: New GNUstep CI server on AWS..., David Chisnall, 2016/07/14
- Re: New GNUstep CI server on AWS..., Gregory Casamento, 2016/07/13
- Re: New GNUstep CI server on AWS..., Gregory Casamento, 2016/07/13