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