Help stabilising mini-gmp
tg at gmplib.org
Sat Nov 26 13:03:11 UTC 2016
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.
Please encrypt, key id 0xC8601622
More information about the gmp-devel