Re: [isabelle-dev] AFP broken
These are good suggestions, thanks, we'll add them to the submission system. Tobias On 19/10/2016 23:33, Makarius wrote: The situation can be easily improved: the AFP submission system merely needs to check for "Legacy feature" warnings, and tell the authors to eliminate them beforehand. Legacy features usually have one or two release cycles, before the feature is removed. It seems that few people care about that themselves, so they need to be informed explicitly. Another possible improvement for AFP checks: isabelle check_sources '$AFP_BASE' This is available in Isabelle/Scala module Check_Sources. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev smime.p7s Description: S/MIME Cryptographic Signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Distro broken
We never promised that the new test infrastructure would guarantee that nobody will break the repository anymore. You are perfectly aware of this. So stop trolling. Tobias On 19/10/2016 13:52, Makarius wrote: On 19/10/16 13:38, Lars Hupel wrote: Oh, nothing went wrong: Jenkins sent an email immediately after the push, and the status page also indicated the failure. Automation working as expected. But that did not help. Florian experienced the broken repository just in the way it occasionally happens. The open question is if the massive use of CPU resources by Jenkins is justified to deliver its service. It is still unclear to me what this service is in the first place. So far there were only axioms about Jenkins, but no proofs. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev smime.p7s Description: S/MIME Cryptographic Signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
