[GHC DevOps Group] Merge request

[Manuel M T Chakravarty]

Hi Ben,

We are at a point, where we think, it would be useful to merge the work on CircleCI integration into HEAD:

  https://ghc.haskell.org/trac/ghc/ticket/14416

I would also like to suggest to enable the per-commit builds on GitHub once the PR has been merged. I’d be happy to help set this up if somebody gives me the relevant access permissions.

Cheers,
Manuel