<div dir="ltr">For now I just updated the gh-pages manually.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jun 13, 2016 at 7:31 AM, Ulf Norell <span dir="ltr"><<a href="mailto:ulf.norell@gmail.com" target="_blank">ulf.norell@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>The Travis instance uses a prebuilt Agda downloaded from a Dropbox somewhere. I don't know how to update that. Some relevant issues:</div><div><br></div><div><a href="https://github.com/agda/agda-stdlib/issues/45" target="_blank">https://github.com/agda/agda-stdlib/issues/45</a><br></div><div><a href="https://github.com/agda/agda-stdlib/issues/78" target="_blank">https://github.com/agda/agda-stdlib/issues/78</a><br></div><div><a href="https://github.com/agda/agda-stdlib/issues/80" target="_blank">https://github.com/agda/agda-stdlib/issues/80</a><span class="HOEnZb"><font color="#888888"><br></font></span></div><span class="HOEnZb"><font color="#888888"><div><br></div><div>/ Ulf</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 9, 2016 at 7:09 PM, Natalie Perna <span dir="ltr"><<a href="mailto:pernanm@mcmaster.ca" target="_blank">pernanm@mcmaster.ca</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>> This page seems to be out of date (and I don't know how it is<br>
> generated). The latest README contains the following text:<br>
><br>
> -- The library comes with a .agda-lib file, for use with the library<br>
> -- management system.<br>
<br>
</span>The <a href="http://github.io" rel="noreferrer" target="_blank">github.io</a> site is published from the gh-pages branch, which was<br>
populated by Travis CI:<br>
<a href="https://github.com/agda/agda-stdlib/blob/master/.travis.yml" rel="noreferrer" target="_blank">https://github.com/agda/agda-stdlib/blob/master/.travis.yml</a><br>
It looks like it stopped automatically updating almost a year ago<br>
though: <a href="https://github.com/agda/agda-stdlib/tree/gh-pages" rel="noreferrer" target="_blank">https://github.com/agda/agda-stdlib/tree/gh-pages</a><br>
<div><div>_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>