Re: [isabelle-dev] Maintenance work on Jenkins VM

Hi Dmitriy, > What about having an additional afp_testboard repository where one could also > push -f changes. I am particularly interested in “slow” sessions there. definitely possible, pending a Scala script which performs this:

Re: [isabelle-dev] Maintenance work on Jenkins VM

Update: > - running makeall and AFP (without "slow" sessions) on every push to > Isabelle > - running slow sessions nightly > - utilize 4 workers (8 cores, 64 GB each) from the LRZ > - running AFP (without "slow" sessions) on every push to AFP > - running everything on every push to testboard

Re: [isabelle-dev] Maintenance work on Jenkins VM

Hi Lars, great to hear! What about having an additional afp_testboard repository where one could also push -f changes. I am particularly interested in “slow” sessions there. Thanks for your work, Dmitriy > On 30 Jan 2016, at 12:51, Lars Hupel wrote: > > Dear list, > > I'm

Re: [isabelle-dev] Maintenance work on Jenkins VM

> Still missing in the setup: > * cross-platform/cross-parameter testing > * archival of the build logs > * time series I forgot: * installing compilers and setting the various ISABELLE_GHC/ISABELLE_OCAMLC etc. for Codegenerator_Test ___ isabelle-dev

[isabelle-dev] Maintenance work on Jenkins VM

Dear list, I'm currently performing maintenance work on the Jenkins VM. The following things are planned for today: - running makeall and AFP (without "slow" sessions) on every push to Isabelle - running slow sessions nightly - utilize 4 workers (8 cores, 64 GB each) from the LRZ I've already