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

Makarius makarius at sketis.net
Tue Aug 9 23:51:19 CEST 2016

On 08/08/16 14:44, Lars Hupel wrote:
> For HOL-Proofs, the relevant job is "isabelle-repo-makeall". A catalog
> of all builds and all archived logs can be found under the following URL:
> <https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/api/json?pretty=true&tree=builds[url,number,timestamp,artifacts[*]]>

I did not know of this JSON API yet. In Isabelle/74604a9fc4c8 there are
Isabelle/Scala operations to access that information. (It is an
interesting experience to work with these untyped JSON things; reminds
me of LISP expressions.)

I will later work out, if this is going to be a batch tool (like former
isatest-stats) or a PIDE GUI panel. It might be actually easier to make
proper a GUI application than a web application from it.


More information about the isabelle-dev mailing list