<div dir="ltr">For now I've made a script that runs on my machine to update and publish<div>the html listings. They're all up on github-pages here:</div><div><br></div><div><a href="http://agda.github.io/agda-stdlib/html/README.html">http://agda.github.io/agda-stdlib/html/README.html</a><br>
</div><div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jan 20, 2014 at 1:53 AM, Stevan Andjelkovic <span dir="ltr"><<a href="mailto:stevan.andjelkovic@strath.ac.uk" target="_blank">stevan.andjelkovic@strath.ac.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Sun, Jan 19, 2014 at 04:27:14PM -0500, Jason Gross wrote:<br>
> $ time darcs get --lazy <a href="http://code.haskell.org/Agda" target="_blank">http://code.haskell.org/Agda</a><br>
> Finished getting.<br>
><br>
> real 0m25.181s<br>
> user 0m1.952s<br>
> sys 0m2.200s<br>
><br>
> This is on a computer that is around 4 times faster than the travis<br>
> machines, and is on MIT's internet. I could believe that the travis<br>
> machines on slower internet will take around 10 minutes to get the<br>
> Agda repo.<br>
<br>
</div>I had it run until the server killed the job (50 min), darcs still<br>
hadn't finished fetching the repo at that point...<br>
<br>
Git cloning your clone of the Agda repo, building Agda and generating<br>
the html all finished in under 10 mins though. So it should work fine<br>
once the Agda repo gets migrated.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>