[isabelle-dev] Jenkins maintenance

Lars Hupel hupel at in.tum.de
Thu Oct 6 14:53:55 CEST 2016

> I have often wondered how certain details are done by Jenkins, e.g.
> logging into a remote machine, controlling the job and getting its results.

Your use of the term "Isabelle/Jenkins" led me to believe that you're
interested in the Ansible scripts. If you're instead interested in
Jenkins sources in general, that's an easy question to answer:


And more specifically, the "remote machine" part:


There aren't any custom plugins running in our Jenkins instance.


More information about the isabelle-dev mailing list