[isabelle-dev] Isabelle takes more time to be built on testboard
kuncar at in.tum.de
Mon May 13 15:01:09 CEST 2013
Recently I noticed that it takes considerably more time to build
Isabelle (makeall) on testboard than it used to take before. I did a
small inspection and something must have happened between 25.3.2013 and
26.3.2013 because this build from 25.3. took 27 minutes
and this build from 26.3.2008 took 42 minutes.
I talked to Johannes and this slowdown doesn't seem to be related to his
changes from 26.3.
One can also see here that almost all sessions started to take more time
to be built around that time:
More information about the isabelle-dev