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

Hi Lars, even without the slow sessions, this is of great help. Thanks! My commit yesterday (isabelle/ae44f16dcea5) broke some AFP entries (because without the afp_testboard, I used to follow the "break it, fix it” philosophy w.r.t. AFP). I will repair those today. Dmitriy > On 17 Feb 2016,

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

Native_Word should work again in 203deaf5208d (see also 61aeecc4093d), both with GHC 7.8 and GHC 7.10. Andreas On 01/02/16 08:32, Andreas Lochbihler wrote: Hi Lars, The theory Uint comes from Native_Word. I'll have a look and see whether this can be fixed. Andreas On 31/01/16 22:21, Lars

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

> Native_Word should work again in 203deaf5208d (see also 61aeecc4093d), > both with GHC 7.8 and GHC 7.10. Build is still running, but looks like it's working again. I'm pushing another item on my todo list: Print the relevant system information (e.g. compiler versions) in the log. Cheers Lars

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

> * archival of the build logs As a temporary solution, I have now configured Jenkins to retain all build logs. I've found some pointers how to make Jenkins store them into some database, but will need to investigate further. > * installing compilers and setting the various >

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

Hi Lars, The theory Uint comes from Native_Word. I'll have a look and see whether this can be fixed. Andreas On 31/01/16 22:21, Lars Hupel wrote: * archival of the build logs As a temporary solution, I have now configured Jenkins to retain all build logs. I've found some pointers how to

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