[isabelle-dev] HOL-Nominal-Examples starving on lxbroy10

Makarius makarius at sketis.net
Sat Jul 11 22:24:47 CEST 2020

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.


More information about the isabelle-dev mailing list