[GHC DevOps Group] CircleCI status and budget concerns

[Manuel M T Chakravarty]

Ok, so we need $200/month (to get a limit extension for four containers).

Would any of the institutions represented on this mailing list be able to cover these costs? (The eternal gratitude of the Haskell community would be yours! Oh, and you get a more thoroughly tested compiler!)

Cheers,
Manuel

> Am 18.06.2018 um 23:38 schrieb Ben Gamari <ben at well-typed.com>:
> 
> Manuel M T Chakravarty <manuel.chakravarty at tweag.io> writes:
> 
>> Hi Ben,
>> 
>> Thanks for bringing this up.
>> 
>> I agree that (a) is useful short-term fix, but I think, the only
>> reasonable long-term option is (c). After all, one reason to go with a
>> hosted CI solution was to be able to solve this kind of problem with
>> financial support by one of the stakeholders.
>> 
>> How many containers have we got? (I think, one needs GitHub org admin
>> access to be able to see that.)
>> 
> Currently we have 4: CircleCI grants any project one container under
> their free tier and throws in three more for open-source projects.
> 
> Cheers,
> 
> - Ben
>