> 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
