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

[Lars Hupel]

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

I've designed the infrastructure with that in mind. In the current
setting, Jenkins retains the full build log files indefinitely.

> 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?

Early on in the configuration process I considered storing structured
data in Postgres, but decided to postpone this until the need arises.
This would certainly be a use case. I'll talk to Tobias if we could
supervise such a student project.

Cheers
Lars