[isabelle-dev] testboard

Makarius makarius at sketis.net
Wed Aug 19 22:45:14 CEST 2015


On Wed, 19 Aug 2015, Larry Paulson wrote:

> I pushed a changeset to the testboard, but it isn’t showing up at 
> http://isabelle.in.tum.de/testboard/Isabelle
>
> The last change it shows was 6 days ago.
>
> Moreover, testboard and the default branch look identical (I’m using 
> SourceTree), so have I simultaneously pushed my changes to the main 
> repository somehow?

Maybe.  The changeset 6a6f15d8fbc4 turned out broken -- I've repaired this 
already in e1159bd15982.

Generally, we are running short of proper test machines -- isatest takes 
very long now.  The fastest machine in reach is the one under my desk.


 	Makarius


More information about the isabelle-dev mailing list