Marc Glisse <marc.gli...@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 _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
