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: Jan 04 2025 at 20:18 UTC