[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CI server on GitHub repos
From: |
Ivan Vučica |
Subject: |
Re: CI server on GitHub repos |
Date: |
Sun, 25 Jun 2017 23:18:03 +0100 |
On Sun, Jun 25, 2017 at 9:01 PM, Daniel Ferreira (theiostream)
<address@hidden> 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.)
- CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/25
- Re: CI server on GitHub repos, David Chisnall, 2017/06/25
- Re: CI server on GitHub repos,
Ivan Vučica <=
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/25
- Re: CI server on GitHub repos, David Chisnall, 2017/06/26
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/26
- Re: CI server on GitHub repos, Ivan Vučica, 2017/06/26
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/26
- Re: CI server on GitHub repos, David Chisnall, 2017/06/26
- Re: CI server on GitHub repos, Niels Grewe, 2017/06/26
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/26
- Re: CI server on GitHub repos, Ivan Vučica, 2017/06/27
- Re: CI server on GitHub repos, Riccardo Mottola, 2017/06/26