> 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 no promises. Gentoo: Unlikely. macOS: Problematic because we currently have no appropriate hardware available to hook into Jenkins. Apple just doesn't offer anything suitable these days. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
