Log in to jenkins with your isabelle TUM credentials (the same ones as
for repository access) and click on "Build with Parameters" > "Build".
Fabian
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 <h...@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.
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev