Pedro Lino wrote:
They are matching today. Apparently it takes some time (a day?) for the page to update.
It is done automatically, but I have no idea when the cron jobs run.
Yes, that is a workaround. So the simple answer to ftp is no.
Indeed. No FTP.
BTW does the daily build mean that the exact same build (1756231) was compiled 7 days in a row? Isn't that a waste of energy?
Not necessarily, since the server environment changes (we upgrade libraries and other). So, even if we are building the same code, it is still important to us to check that it builds correctly.
Regards, Andrea. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
