[isabelle-dev] testboard

Fabian Huch huch at in.tum.de
Wed Jul 12 13:02:28 CEST 2023

Log in to jenkins with your isabelle TUM credentials (the same ones as 
for repository access) and click on "Build with Parameters" > "Build".


On 7/12/23 13:00, Lawrence Paulson wrote:
> So how does one trigger a new run without pushing new material?
> Larry
>> On 12 Jul 2023, at 11:58, Fabian Huch <huch at in.tum.de> wrote:
>> Builds depend very much on the implicit state of their predecessor - sessions that were previously built and are still consistent with the current sources are skipped.
>> If you go a few builds back, the output is 42,927 lines.

More information about the isabelle-dev mailing list