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

[Lawrence Paulson]

Why do we keep getting this? Iptables_Semantics runs fine on my machine.

devel/thys: isabelle build -c -d . -o threads=8 -o document=pdf -o document_output=output Iptables_Semantics
Cleaned Iptables_Semantics
Running Iptables_Semantics ...
Preparing Iptables_Semantics/document ...
Finished Iptables_Semantics/document (0:00:13 elapsed time)
Document at "/Users/lp15/isabelle/afp/devel/thys/Iptables_Semantics/output/document.pdf"
Finished Iptables_Semantics (0:00:42 elapsed time, 0:03:29 cpu time, factor 4.94)
0:01:04 elapsed time, 0:03:29 cpu time, factor 3.25

Larry

> Begin forwarded message:
>
> From: ci at isabelle.systems
> Subject: [Isabelle-ci] Build failed
> Date: 30 August 2024 at 11:27:15 BST
> To: isabelle-ci at mailman46.in.tum.de
>
> The job all failed.  View the build at: https://build.proof.cit.tum.de/build?name=all%2F121
> _______________________________________________
> Isabelle-ci mailing list
> Isabelle-ci at mailman.proof.cit.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-ci