[isabelle-dev] New Testing Infrastructure -- status report

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Mon May 30 13:47:52 CEST 2011


Hi Alex,

> In the past weeks, there has been some progress with our new testing
> infrastructure, which I would like to summarize here. Please give
> feedback, ask questions, and discuss.

Great!! Thanks for the update. I just have one question related to testboard:

> Then, local changes can be pushed to testboard via
> 
>  hg push -f testboard

I use queues a lot and usually do all testing before I "qfinish" the queued patches. Is there a Mercurial trick to push all the applied queues without qfinishing them first?

Jasmin




More information about the isabelle-dev mailing list