On Sun, Jun 25, 2017 at 9:01 PM, Daniel Ferreira (theiostream)
<bnm...@gmail.com> wrote:
> Hi everyone,
>
> Now that our repos have been migrated to GitHub, it should be trivial
> to setup an integrated CI server for GNUstep projects.

I wouldn't mind a pull request setting up an off-the-shelf CI system,
in addition to Gregory's existing setup. (I don't know where the
'stuff is broken' emails are going these days.)

_______________________________________________
Gnustep-dev mailing list
Gnustep-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/gnustep-dev

Reply via email to