[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?


More information about the isabelle-dev mailing list