[GHC DevOps Group] CI

[Manuel M T Chakravarty]

> 19.10.2017, 13:33 Ben Gamari <ben at well-typed.com>:
> Manuel M T Chakravarty <manuel.chakravarty at tweag.io> writes:
>>> 19.10.2017, 12:29 schrieb Ben Gamari <ben at well-typed.com>:
>>> Let's figure out how to make this happen. This week is turning out to be
>>> a bit busy for me, but perhaps this weekend or next week I'll see what
>>> can be done to hook up Phabricator and try to get the build automation
>>> in place for i386 and CentOS. However, if you have time do feel free to
>>> start plugging away at this yourself in the meantime.
>> 
>> Jonas spent some time on the macOS build on CircleCI.
>> 
>> It might be useful to make a list of all the things that need to be
>> done and add it to the CI Trac page. Should we take a stab at that
>> next week (when your schedule calms down a bit)?
>> 
> Let's make sure that there are no objections from the Simons (or anyone
> else on the list, for that matter). If not, then sure, let's do it.

Yes, absolutely, let’s make it explicit. Are there any remaining objections to us going forward with the hosted option?

Manuel