On Wed, 2017-09-20 at 18:32 +0200, Nikos Mavrogiannopoulos wrote:
On Wed, 2017-09-20 at 17:55 +0200, Niels Möller wrote:
Nikos Mavrogiannopoulos nmav@redhat.com writes:
On Thu, 2017-09-14 at 23:28 +0200, Niels Möller wrote:
I committed a variant of this ifdef thing this morning. But the gnutls mirror and the ci machinery seems to not have picked it up yet.
There was an update of gitlab.com, and something may have been broken. I've checked the settings of the project on mirroring and says that 'update is scheduled'. I'll give it a day before opening a bug.
It seems the commits pushed to my master repo September 14 are still not picked up by the mirror.
Thanks for the reminder. There is already an open ticket for that which I commented on: https://gitlab.com/gitlab-com/support-forum/issues/2420
Should be working now. I see that master-updates and curve448 pass.
regards, Nikos