Build reporting pages

Torbjörn Granlund tg at
Fri Nov 18 00:44:12 UTC 2016

I made some updates to the build/test report pages:

1. Proper stripe effect for red (its absence was a bug visible only with
   many close failures...)

2. Gray out obsolete results, i.e., check or tuneup results older than
   last successful build.

3. Check boxes for optional stuff like C++ and mini-gmp tests.

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list