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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
