On 19.08.2015 22:45, Makarius wrote:
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
I haven't seen the state of the testboard when Larry pushed, but I
suspect that he pushed to the main repository exclusively (rather than
simultaneously to the testboard). Note that the testboard requires a
push -f, otherwise Mercurial will refuse to create a new head.
When I just pushed to the testboard a few minutes ago Mercurial replied with
added 67 changesets with 204 changes to 134 files (+1 heads)
(This is a quite normal response, even though I've added only one
change, since the testboard is not automatically updated w.r.t. the main
repository, and I am one of the few people who sometimes pushes to the
testboard. In effect, I've pushed 67 changes (including Larry's
changeset 6a6f15d8fbc4) that were pushed to the main repository but not
to testboard.)
Dmitriy
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
