Dear Isabelle developers, our Jenkins instance is about to replace the last piece of missing functionality from afptest: sending mails to maintainers.
Yesterday, I switched on "artifacts", which means Jenkins now builds & archives "browser_info" and PDF output. This can be witnessed e.g. here:* <https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/lastSuccessfulBuild/artifact/browser_info/Doc/System/> <https://ci.isabelle.systems/jenkins/job/afp-repo-afp/lastSuccessfulBuild/artifact/browser_info/AFP/AWN/> Unless I'm missing something, this now means we have basically 100% feature parity. In best Isabelle tradition, I'm asking the question: Are there any remaining uses of isatest or afptest? If not, I will contact our system administrators and ask them to shut down the old infrastructure (over the course of the next one or two months).** Cheers Lars * I'm aware that it is hard to find these things in Jenkins – I will add a link collection to the status page (<https://ci.isabelle.systems/status/>) ** this will free up some Mac boxes which can then be rolled back and integrated into Jenkins _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev