mail at joachim-breitner.de
Fri Jul 15 21:47:31 CEST 2016
Am Freitag, den 15.07.2016, 20:33 +0200 schrieb Makarius:
> The current Isabelle Jenkins setup has changed focus slightly. There
> are more continuously built "artifacts", like documents, but
> important "telemetry" data visualization is missing. So we are flying
> blind concerning performance figures, not just for AFP (as we do for
> many years), but also for the main repository.
if you have the telemetry data you want to visualize, and just need a
tool for rendering them nicely, you can have a look at the tool I wrote
GHC instance: https://perf.haskell.org/ghc/
Tool website: https://github.com/nomeata/gipeda
It targets git, but you could either replace the git-specifics by
equivalent code targeting mercurial (they are similar enough in these
matters), or run it over a git mirror of the repositories.
Joachim “nomeata” Breitner
mail at joachim-breitner.de • https://www.joachim-breitner.de/
XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: This is a digitally signed message part
More information about the isabelle-dev