Isabelle testboard. Triggered by:
'hg push -f ssh://isabelle-server.in.tum.de//home/isabelle-repository/repos/testboard'