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?
Larry > Begin forwarded message: > > From: Isabelle/Jenkins <ci@isabelle.systems> > Subject: [Isabelle-ci] Build failure in Isabelle > Date: 15 June 2016 at 17:14:27 BST > To: isabelle...@mail46.informatik.tu-muenchen.de > > The Isabelle build failed. See the log at: > https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/249/
build.log
Description: Binary data
> _______________________________________________ > Isabelle-ci mailing list > isabelle...@mail46.informatik.tu-muenchen.de > https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev