<div dir="ltr">Hi Joachim,<br><br>Thank you for the advice.<br><br>I'll try to correspond as follows:<br><br> * To use Travis for simple build check<br> * To use Phab or (slow) local machine for validation<br> * To use Phab for review<br> * To use Github PR for getting advice and confirm<br><br>I'll enjoy it carefully:)<br><br>Regards,<br>Takenobu<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-02-04 12:45 GMT+09:00 Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
ghc has an exception in place from travis; I fear it does not carry<br>
over to forks.<br>
<br>
If you have commit rights to GHC, you can develop in a branch.<br>
<br>
Maybe a pull request works as well, not sure whether that uses the time<br>
limit of the official repo or yours. Worth a try! Just write tin the PR<br>
that you don not want this to be merged :-)<br>
<br>
Greetings,<br>
Joachim<br>
<div><div class="h5"><br>
<br>
Am Samstag, den 04.02.2017, 11:07 +0900 schrieb Takenobu Tani:<br>
><br>
> Hi Edward, devs,<br>
><br>
> Thank you for kind explanation.<br>
> I understood the situation.<br>
><br>
> Is it common to use paid plans when building GHC [1]?<br>
><br>
> [1]: <a href="https://travis-ci.org/ghc/ghc" rel="noreferrer" target="_blank">https://travis-ci.org/ghc/ghc</a><br>
><br>
> Regards,<br>
> Takenobu<br>
><br>
><br>
> 2017-02-04 10:41 GMT+09:00 Edward Z. Yang <<a href="mailto:ezyang@mit.edu">ezyang@mit.edu</a>>:<br>
> > Even with a paid plan, you only have 120 min to run your build.<br>
> > That might be enough in your case but in Cabal's Travis project<br>
> > I've started playing tricks where I upload the build products<br>
> > somewhere, and then redownload them in a new job before running<br>
> > tests.<br>
> ><br>
> > Edward<br>
> ><br>
> > Excerpts from Takenobu Tani's message of 2017-02-04 10:37:21 +0900:<br>
> > > Dear devs,<br>
> > ><br>
> > > Is there a way to avoid time limit when using travis?<br>
> > ><br>
> > > I started using travis [1]. It is very convenient :)<br>
> > > But timeout occurs [2].<br>
> > > The log messages are as follows:<br>
> > ><br>
> > >     =====> InstEqContext2(normal) 1806 of 5700 [0, 0, 0]<br>
> > >     =====> InstEqContext3(normal) 1807 of 5700 [0, 0, 0]<br>
> > >     =====> InstContextNorm(normal) 1808 of 5700 [0, 0, 0]<br>
> > >     The job exceeded the maximum time limit for jobs, and has<br>
> > been<br>
> > > terminated.<br>
> > ><br>
> > > How do you avoid this?<br>
> > > Paid plan or something?<br>
> > ><br>
> > > [1]: <a href="https://ghc.haskell.org/trac/ghc/wiki/Travis" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/<wbr>ghc/wiki/Travis</a><br>
> > > [2]: <a href="https://travis-ci.org/takenobu-hs/ghc/builds/197987055" rel="noreferrer" target="_blank">https://travis-ci.org/<wbr>takenobu-hs/ghc/builds/<wbr>197987055</a><br>
> > ><br>
> > > Regards,<br>
> > > Takenobu<br>
> ><br>
><br>
</div></div>> ______________________________<wbr>_________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<span class="HOEnZb"><font color="#888888">--<br>
Joachim “nomeata” Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="https://www.joachim-breitner.de/" rel="noreferrer" target="_blank">https://www.joachim-breitner.<wbr>de/</a><br>
  XMPP: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a> • OpenPGP-Key: 0xF0FBF51F<br>
  Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a></font></span></blockquote></div><br></div>