[isabelle-dev] status (AFP)
makarius at sketis.net
Mon Jun 25 11:30:22 CEST 2012
On Wed, 20 Jun 2012, Gerwin Klein wrote:
> According to the log, the test didn't run Jun 16-18 which are the days
> with NFS trouble.
You probably mean ~isatest/afp/afp-test.log, because
~isatest/log/isatest.log and http://isabelle.in.tum.de/devel agree that
the last successful Isabelle isatest was at the end of May. We have a new
record in unavailability.
Where is the isatest crontab now? macbroy28 is still unavailable as we
knew already several weeks ago.
In any case Admin/isatest should reflect the current state, both for the
Isabelle and AFP crontab.
More information about the isabelle-dev