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
> 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.
More information about the isabelle-dev