[isabelle-dev] »Waiting for 1 tasks to complete«

[Makarius]

On 27/08/2024 12:19, Fabian Huch wrote:
> This indeed looks like a infrastructure problem, caused by a task that refused 
> to terminate normally -- I'll have to investigate.

Yesterday in the late evening I had an Isabelle + AFP build that failed early, 
so I pushed the red "CANCEL" button, because I intended to re-submit it 
shortly. It said something like "Waiting for cancellation" for quite some 
time, then I stopped watching it (around midnight). Today I've spent most of 
the time cycling (between Weißenburg and Rothenburg), and have just returned.

The reason why the termination did not quite work is unclear to me: It could 
well be somewhere in my areas of responsibility, e.g the bash_process wrapper 
or something else in Isabelle/Scala. We need some tangible empiric 
observations to sort this out.


	Makarius