Hi,
since a few weeks, mira's shared results
(/mnt/tmp/isatest/shared_results on anything but macbroy2) started
taking a lot more disk space then before; I got a quota warning today
(500GiB); the last one was exactly three weeks ago).
Most space seems to spend with Isabelle_makeall and AFP runs, amounting
to 4-5GiB each. Has someone an idea what changed?
If yes: do we want to revert to store less stuff again or should we
implement some kind of automatic cleanup?
-- Lars
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
