Dear Isabelle developers, about yesterday, we experienced massive troubles in the automated AFP tests due to missing timeouts paired with sessions which don't terminate in current devel (after merging some new entries from AFP stable).
I have added missing timeouts now in AFP/b60fb73dca31. There is also an Isabelle tool to check for precisely this problem: "afp_check_roots". I urge everyone who changes ROOT files in AFP devel to run "isabelle afp_check_roots" before pushing such changes. That way, we can avoid jobs getting terminated by Jenkins. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
