hupel at in.tum.de
Fri Jul 15 17:21:35 CEST 2016
> It is unclear if and how we could get this platform zoo back: it was
> rather accidental due to different administration regimes.
OpenSUSE: Maybe. I can check how well my Ansible scripts work there, but
macOS: Problematic because we currently have no appropriate hardware
available to hook into Jenkins. Apple just doesn't offer anything
suitable these days.
More information about the isabelle-dev