[isabelle-dev] testboard stuck?

Makarius makarius at sketis.net
Tue Aug 4 13:52:12 CEST 2020

On 04/08/2020 12:46, Lawrence Paulson wrote:
> 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".

Recall that it is a design flaw of the testboard that it does not allow to
retry builds: you need to make some workarounds with pointless commits.


More information about the isabelle-dev mailing list