> Ah yes, I forgot to say that all my times were in GMT.
> 
> Andy Gill wrote:
> [snip]
> > What time (in GMT, say) are you proposing?
> The best for me would be a compromise between when the GHC folk
> go home for the day and how long everything takes to compile.
> Would 8pm GMT be possible?

Fine by me.  Our nightly build starts at midnight, but it would be nice if I
could start it earlier - it currently finishes about 7.00am, but there's
more stuff I could run if I had more time :)

Cheers,
        Simon

Reply via email to