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

[Manuel Eberl]

In the example you linked, HOL-ex is the one that fails. No idea why; I 
don't know anything about "refute".

Manuel


On 31/08/2024 13:51, Lawrence Paulson wrote:
> 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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev