[isabelle-dev] NEWS: isabelle go_setup

Fabian Huch huch at in.tum.de
Thu Mar 28 09:39:59 CET 2024


On 3/27/24 23:01, Makarius wrote:
> So while Jenkins is running (How many hours? Without stop button?)

Side note: there is a stop (and start) button if you log in to the 
Jenkins using your TUM credentials.


Fabian



More information about the isabelle-dev mailing list