13 Jul
2018
13 Jul
'18
8:56 a.m.
On Thu, 2018-07-12 at 18:04 +0200, Niels Möller wrote:
We'll see how to deal with those failures, but I don't think they should block merging to the master branch.
There are also two "runner system failures", see https://gitlab.com/gnutls/nettle/-/jobs/81332562. Can that be restarted? It would be nice to see a successful arm build before merging to master.
I've restarted it. It passes. If you have a gitlab account I will give you access to the repo.
regards, Nikos