Opened this issue 7 years ago · 0 comments
As witnessed in #462 , an Isabelle script that runs OK on our local machines fail in Travis. This issue keeps track of fixing the issue or finding a workaround (like using another continuous integration service without the problem).