lp15 at cam.ac.uk
Wed Jul 12 13:00:22 CEST 2023
So how does one trigger a new run without pushing new material?
> 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