[isabelle-dev] isatest home directory full

Makarius makarius at sketis.net
Sun Apr 22 13:45:27 CEST 2012

The home directory of isatest has reached its disk quote, which means that 
recent tests were referring to an old clone of the repository, since the 
hg update did not work.

I've managed to remove more than 5 GB of old heap files, but this might be 
a bit pathethic due to this directory:

   225G tmp/shared_results

Does anybody know what it is?


More information about the isabelle-dev mailing list