[isabelle-dev] Jenkins maintenance

Lawrence Paulson 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).

Larry

> 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 mailing list