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,
So how does one trigger a new run without pushing new material?
Larry
> On 12 Jul 2023, at 11:58, Fabian Huch 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.
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.
Fabian
On 7/12/23 11:09, Lawrence Paulson wrote:
I was testing
I was testing some last-minute, minor changes. Testboard run 917 aborted due to
a timeout. You’d think that some of the jobs had timed out, but when I checked
the log, it looked like an entirely different process had been run. In
particular, the log file is more than double the length of its
