Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Console errors in AFP build after push


view this post on Zulip Email Gateway (Jan 19 2021 at 14:36):

From: Pedro Sánchez Terraf <sterraf@famaf.unc.edu.ar>
>
>

view this post on Zulip Email Gateway (Jan 19 2021 at 14:41):

From: Tobias Nipkow <nipkow@in.tum.de>
Thanks, we are aware of the problem and hopefully it will be resolved soon.

Tobias
smime.p7s

view this post on Zulip Email Gateway (Jan 19 2021 at 18:00):

From: Tobias Nipkow <nipkow@in.tum.de>
Everything is back to normal now:

https://ci.isabelle.systems/jenkins/job/isabelle-all/lastBuild/

Tobias
smime.p7s


Last updated: Dec 05 2021 at 22:18 UTC