On 10/08/20 11:35, Philippe Mathieu-Daudé wrote: >> That seems overkill but yeah the tests should have used >> 20101020ubuntu543.15 instead of current. I think this should get into rc4. > As our CI is not yet gating, I don't think this justifies delaying the > release (except if there is a critical bugfix on the list).
It is not gating, but it means that acceptance test for 5.1.0 will be broken forever for everyone that attempts to run them. Paolo > Maybe it is acceptable to simply merge the CI test fixes before the > release tag, as no code/binary is affected... >
