ghc-compete, a repository of fingerprints, and continuous integration

Simon Peyton-Jones simonpj
Tue Oct 8 13:13:51 UTC 2013


Sounds amazing, thank you.

Ignorant folk like me will need a Trac wiki page that points to the information and explains how to understand it.  I don't have any idea how to interpret it, or how to use it.



| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at] On Behalf Of
| Joachim Breitner
| Sent: 07 October 2013 22:07
| To: ghc-devs at
| Subject: ghc-compete, a repository of fingerprints, and continuous
| integration
| Dear Devs,
| in the best scratch-an-itch-tradition I have created a special git
| repository, called ?ghc-complete?, which tracks the combined state of
| all GHC-related repositories. It uses GHC?s fingerprint utility and
| simply tracks the change of the fingerprint file over time:
| The main use of this is to have a repo which I can enable to be
| continuously checked by Travis (a free CI hoster). So instead of having
| several people ask on IRC about what build or test suite failures are
| actually not their fault, they can now simply check the travis page:
| The Travis tests are a bit stripped down, in order to finish reliably
| before the 50 minute timeout, see
| for the
| precise options.
| The log files are too large for the JavaScript enhanced view on Travis.
| So if you click on a specific build result, e.g.
| then better immediately browse to the raw build log (the rounded square
| button in the top right corner with the four horizontal bars).
| Another use of this repo might be bisecting a problem.
| If you find this useful, I?d propose to let this run on
| proper, and also not as a cronjob (every 15 minutes at the moment), but
| rather triggered by the actual pushes.
| On my TODO list is to make the commit messages of the repository more
| useful, by including the log of the new commits in it.
| If (not sure if this is planned to that extend) eventually all related
| repositories of GHC are submodules, this will have become obsolete.
| Which of course is fine.
| Enjoy,
| Joachim
| --
| Joachim ?nomeata? Breitner
|   mail at ?
|   Jabber: nomeata at  ? GPG-Key: 0x4743206C
|   Debian Developer: nomeata at

More information about the ghc-devs mailing list