[isabelle-dev] Fwd: [Isabelle-ci] Build failed

[Lawrence Paulson]

OK, so the failing job is actually Iptables_Semantics_Examples_Big

Larry

> Begin forwarded message:
>
> From: ci at isabelle.systems
> Subject: [Isabelle-ci] Build failed
> Date: 1 September 2024 at 02:30:52 BST
> To: isabelle-ci at mailman46.in.tum.de
>
> The job presentation failed.  View the build at:https://build.proof.cit.tum.de/build?name=presentation%2F44

> _______________________________________________
> Isabelle-ci mailing list
> Isabelle-ci at mailman.proof.cit.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-ci