[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)

[Lawrence Paulson]

Does anybody know what this is?

01:58:19 Running HOL-Quickcheck_Benchmark ...01:58:20 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Base01:58:20 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Find_Unused_Assms_Examples01:58:23 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Example01:58:24 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Example01:58:24 HOL-Quickcheck_Benchmark: theory HOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Example02:12:01 Warning - Unable to increase stack - interrupting thread02:12:01 *** Interrupt02:12:01 HOL-Quickcheck_Benchmark FAILED

Larry

> Begin forwarded message:
> 
> From: Isabelle/Jenkins <ci at isabelle.systems>
> Subject: [Isabelle-ci] Build failure in Isabelle (benchmark)
> Date: 12 March 2019 at 01:22:32 GMT
> To: isabelle-ci at mail46.informatik.tu-muenchen.de
> 
> The Isabelle build failed. See the log at: https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/887/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: build.log
Type: application/octet-stream
Size: 74402 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20190312/1b69490a/attachment-0001.obj>
-------------- next part --------------
> _______________________________________________
> Isabelle-ci mailing list
> Isabelle-ci at mail46.informatik.tu-muenchen.de
> https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci