Help stabilising mini-gmp

[Torbjörn Granlund]

Marc Glisse <marc.glisse at inria.fr> writes:

  There is something strange with
  https://gmplib.org/devel/tm/gmp/date.html . When I click to get the
  logs for ivydeb32v9.gmplib.org-dyn-noasm-ubsan, the build log is from
  26/11, but the check log is from 21/11...

Several generations of runs are kept for check/failure.  This is made to
avoid missing intermittent (e.g. seed triggered) failures.

Search for "DATE:" to find newer versions.

-- 
Torbjörn
Please encrypt, key id 0xC8601622