On 29/06/2020 08:56, Manuel Eberl wrote:
> There are possibly related issues with
> HOL-Analysis/HOL-Complex_Analysis. We have 5 consecutive failed builds,
> two where HOL-Analysis gets aborted with "Interrupt"
>
> https://ci.isabelle.systems/jenkins/job/isabelle-all/2075/
> https://ci.isabelle.systems/jenkins/job/isabelle-all/2079/
>
> and three where HOL-Complex_Analysis just timed out after 180 minutes:
>
> https://ci.isabelle.systems/jenkins/job/isabelle-all/2076/
> https://ci.isabelle.systems/jenkins/job/isabelle-all/2077/
> https://ci.isabelle.systems/jenkins/job/isabelle-all/2078/
I have also seen this, especially on some macOS machines.
The update to polyml-5.8.1-20200708 does not have any effect on it.
So this particular problem is still open.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
