[isabelle-dev] Jenkins maintenance
lp15 at cam.ac.uk
Thu Oct 6 15:22:07 CEST 2016
I have a Mac Pro, and I just use “isabelle build -a”. If I know that my changes affect specific AFP entries, I run them manually. A full test takes a couple of hours, and it is a pain. Maybe I could use multithreading more (the machine supports 12 cores).
> On 6 Oct 2016, at 13:05, Makarius <makarius at sketis.net> wrote:
> Larry, can you describe your own build/test process?
> I have just used the new Jenkins testboard for the first time, and was a
> bit disappointed by the very long runtimes: about 1.5h each for Isabelle
> and AFP.
> Mira set out to deliver Isabelle tests "In 10min!" (Bavarians need to
> think of the famous Stoiber speech here).
> I am doing manual Isabelle tests on my own machin in approx. 30min,
> which is already a bit painful. 20min is OK, 10min would be delightful.
> At some point I need to convene with David Matthews again, to see if and
> how we manage another jump forward in general performance.
More information about the isabelle-dev