Daily documentation build?
Páli Gábor János
pali.gabor at gmail.com
Wed Nov 19 18:28:03 UTC 2014
2014-11-19 17:31 GMT+01:00 Jan Stolarek <jan.stolarek at p.lodz.pl>:
> Looks like something is broken again :-( Builds from the last two days are
> missing.
There is a tiny bug in the script that does the generation which is
only triggered when running as a cron job. Due to this, the tarballs
are created as empty ones. Now I fixed all the missing builds up by
manually running it.
More information about the ghc-devs
mailing list