[isabelle-dev] testboard

Dmitriy Traytel traytel at in.tum.de
Fri Aug 21 16:25:29 CEST 2015

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.)


More information about the isabelle-dev mailing list