[isabelle-dev] Jenkins maintenance
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