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:

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.

isabelle-dev mailing list

Reply via email to