<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><div style="font-family: monospace; font-size: 15px;">[RESENT MESSAGE — see <a href="https://mail.haskell.org/pipermail/ghc-devops-group/2017-October/000004.html" class="">https://mail.haskell.org/pipermail/ghc-devops-group/2017-October/000004.html</a>]</div></div><div class=""><br class=""></div><div class=""><br class=""><blockquote type="cite" class=""><div class="">Am 09.10.2017 um 23:08 schrieb Simon Marlow <<a href="mailto:marlowsd@gmail.com" class="">marlowsd@gmail.com</a>>:</div><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On 9 October 2017 at 13:04, Simon Marlow <span dir="ltr" class=""><<a href="mailto:marlowsd@gmail.com" target="_blank" class="">marlowsd@gmail.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote"><span class="">On 9 October 2017 at 12:10, Manuel M T Chakravarty <span dir="ltr" class=""><<a href="mailto:manuel.chakravarty@tweag.io" target="_blank" class="">manuel.chakravarty@tweag.io</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word" class=""><div class=""><blockquote type="cite" class=""><div class=""><br class=""></div></blockquote></div></div></blockquote></span><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word" class=""><div class=""><div class=""> Thirdly, it still is much better than Phabricator on the new random tool front because it requires no custom infrastructure and the PRs still go through GitHub as usual.</div></div></div></blockquote><div class=""><br class=""></div></span><div class="">I do buy the custom infrastructure argument in general - setting up our own CI has definitely taken a lot of Ben's time. I actually really liked having Travis for my GHC fork on GitHub. That was when it used to work, before our build exceeded what Travis would give us. So I guess that illustrates two things: custom infrastructure is nice when it works, but we're at the mercy of the suppliers.</div></div></div></div></blockquote><div class=""><br class=""></div><div class="">(sorry, I meant to say ”outsourced infrastructure", not "custom infrastructure" above)</div></div></div></div></div></blockquote><div class=""><br class=""></div></div>Yes, you are right. As Mathieu wrote, the limits of Travis are why we are using CircleCI for the linear types fork of GHC. In other words, what we are proposing is something that we have tried with success.<div class=""><br class=""></div><div class="">Moreover, Mathieu has indicated that Tweag would be happy to contribute to a payed CI option if that should become necessary. (Ben’s time is worth much more than CI costs.)</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Manuel</div><div class=""><br class=""><div class=""><br class=""></div><div class=""><br class=""></div></div></div></body></html>