CircleCI (Was: Disable Travis?)

[Boespflug, Mathieu]

Hi Joachim,

great!

> Can you configure circleci to mail both the committeer and a specific person (e.g. you, or me) on every failed committ?

That's a good question. The way things work in CircleCI is that this
is a user setting. You can go to

https://circleci.com/account/notifications

and "subscribe" to notifications on a per-organization or per-project basis.

Regarding the resource_class setting, that's a feature CircleCI
graciously enabled for tweag/ghc. I could do the same request for the
ghc/ Github org. But better if it's an admin of the org.

Best,
--
Mathieu Boespflug
Founder at http://tweag.io.


On 21 September 2017 at 15:55, Joachim Breitner
<mail at joachim-breitner.de> wrote:
> Hi,
>
> Am Donnerstag, den 21.09.2017, 14:25 +0200 schrieb Boespflug, Mathieu:
>> It took me no more than a couple hours to get this working, but using
>> CircleCI, for our fork of GHC. I started from Joachim's TravisCI
>> script.
>>
>> https://circleci.com/gh/tweag/ghc/tree/circleci
>>
>> It would be trivial to activate this for github.com/ghc/ghc as well.
>>
>> A few notes:
>> - It runs ./validate --fast in 40 minutes.
>> - CircleCI has OS X support as well. I think we should just migrate
>> to
>> using CircleCI for OS X testing instead of the custom drones, one or
>> all of which are currently down.
>> - CircleCI graciously agreed to running on one of the beefy AWS node
>> types, called c4.xlarge (8 cores). On the standard node type (2
>> cores), validate takes just over an hour to run. It would be great if
>> ./validate could scale better to more cores.
>
> nice! Yes, let’s do this. More CI never hurts (if someone keeps an eye
> on it and fixes breakage that is not due to the code).
>
> Can you configure circleci to mail both the committeer and a specific
> person (e.g. you, or me) on every failed committ?
>
> I enabled it now for ghc/ghc, but it says
>
>> Configurable resource class is not enabled in your project. Please
>> contact your CSM person or our support team to whitelist your
>> project.
>
> Can you do that?
>
> Greetings,
> Joachim
>
>
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/