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?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
