[isabelle-dev] Build failed in Jenkins: afp-repo-checkin #80

Makarius makarius at sketis.net
Thu Feb 25 15:49:48 CET 2016

On Thu, 25 Feb 2016, Lars Hupel wrote:

> My short-term agenda looks like this, in decreasing order of priority:
> - afptest-style mails
> - more useful mails to the general public
> - ISABELLE_FULL_TEST and ~~/src/Benchmarks
> - testboard_submit script for simultaneous Isabelle & AFP testing
> If you have any problems with or suggestions for the infrastructure, 
> please ping me. If I know what users want I can avoid needless work.

I am keen to see performance figures that are stored persistently in a 
very simple format that can be understood without any special tools.

At the same time, there should be some kind of browser for performance 
charts along changeset lines. Maybe you have some keen student who wants 
to make a project with Scala.js?


More information about the isabelle-dev mailing list