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

Lawrence Paulson lp15 at cam.ac.uk
Wed Jun 15 18:19:27 CEST 2016

No idea what’s going on here. I did commit a lot of stuff but it works on my machine. I added a theory, but the addition was committed and I have no untracked files. If anybody can figure out what’s going on I'd be grateful. I see it is a document preparation failure, presumably that isn’t being checked locally for some reason?


> Begin forwarded message:
> From: Isabelle/Jenkins <ci at isabelle.systems>
> Subject: [Isabelle-ci] Build failure in Isabelle
> Date: 15 June 2016 at 17:14:27 BST
> To: isabelle-ci at mail46.informatik.tu-muenchen.de
> The Isabelle build failed. See the log at: https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/249/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: build.log
Type: application/octet-stream
Size: 114102 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160615/04ffb2f4/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

More information about the isabelle-dev mailing list