Email Gateway (Aug 23 2022 at 08:27): Email Gateway (Aug 23 2022 at 08:27):From: Jose Manuel Rodriguez Caballero <jose.manuel.rodriguez.caballero@ut.ee>
Dear Isabelle users,
I received the message below from Isabelle/Jenkins. This is the first time in my life that I read this word. Here is a link for users like me in order to know what Jenkins is: https://youtu.be/LFDrDnKPOTg
I would like to ask what should I do in order to solve this problem, which, by the way, I do not understand? Should I submit the zip file again to afp? Should I do something in Jenkins?
Sincerely your,
José M.
Build of AFP entry Arith_Prog_Rel_Primes
The build for the session
Arith_Prog_Rel_Primes,
belonging to the AFP entry
Arith_Prog_Rel_Primes
failed.
You are receiving this mail because you are the maintainer of that AFP
entry.
The following information might help you with resolving the problem.
Build log: https://ci.isabelle.systems/jenkins/job/isabelle-all/1728/
Isabelle ID: 21c0b3a9d2f8
AFP ID: e8d45180636f
Timeout? false
Exit code: 2
Email Gateway (Aug 23 2022 at 08:27):From: Tobias Nipkow <nipkow@in.tum.de>
This message was triggered because I copied your AFP entry across from the
release to the development version and some proof no longer works. Which I have
already fixed. In general, you need not worry if you get this message on
occasion: somebody broke a proof of yours and mostly they also fix it. Only in
rare situations will you be called upon to do so.
Tobias
smime.p7s
Last updated: Apr 26 2024 at 04:17 UTC