Re: [isabelle-dev] Future of isatest/afptest

Status update: > 2) virtual machines provided by LRZ > > LRZ offers cloud hosting of virtual machines. We could get an > allowance of 32 cores, although one single machine can only have 8 at > most (e.g. we could run 4 virtual machines with 8 cores each). This > severely constrains how we can

Re: [isabelle-dev] Future of isatest/afptest

> Reckon you could make the status of the builds somehow public? Definitely! There are already two jobs public at our Jenkins server: As soon as I add more jobs, they (and their output) will appear there. Unfortunately the old scheme of sending mails to

Re: [isabelle-dev] Future of isatest/afptest

On 19 Nov 2015, at 00:18, Lars Hupel wrote: > > […] Lars, that all sounds awesome. Reckon you could make the status of the builds somehow public? (Right now I don’t know whether my patch to ConcurrentGC works or not, because I only get failure emails and don’t know when a

[isabelle-dev] Future of isatest/afptest

(moving to isabelle-dev) > In the various different isatest configurations for main Isabelle (not > AFP) we do indeed test normal situations, like threads=4 or threads=8, > alongside with abnormal ones like threads=1 or skip_proofs=true. This is definitely something which I will replicate in the