[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves

[Lars Hupel]

Hi Florian,

> What is the reason for this?  No access to suitable computing machines?

currently, the "new" testboard only performs "makeall" on the
distribution. As I wrote in my mail from yesterday, I'm working on it. I
expect to be able to make a recommendation on how to reinstate regular
testing within this week.

Cheers
Lars