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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
