> 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
