[isabelle-dev] New Testing Infrastructure -- status report
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Mon May 30 13:47:52 CEST 2011
> 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