[isabelle-dev] testboard stuck?

[Lawrence Paulson]

I could do this quite easily on my nice big work machine, but it’s really not practical on a laptop. I hope we can get the testboard working again soon.
Larry

> On 4 Aug 2020, at 11:39, Makarius <makarius at sketis.net> wrote:
> 
> There is no need to satisfy the testboard setup: tests merely need to work via
> normal local runs of "isabelle build -a".