[isabelle-dev] Jenkins maintenance

[Lars Hupel]

> 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:

  <https://github.com/jenkinsci/jenkins>

And more specifically, the "remote machine" part:

  <https://github.com/jenkinsci/ssh-slaves-plugin>

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

Cheers
Lars