[isabelle-dev] testboard stuck?

Lawrence Paulson lp15 at cam.ac.uk
Tue Aug 4 12:46:08 CEST 2020

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.

> 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".

More information about the isabelle-dev mailing list