Hi, gitlab now allows mirroring projects so I've setup a mirror of nettle at gitlab main server: https://gitlab.com/gnutls/nettle
This has the advantage of using gnutls' CI servers. For that I attach the file needed to be present to enable using these servers.
On every commit nettle will be tested for building + make check, in the available platforms and a mail will be sent to the author/committer.
An example run can be seen at: https://gitlab.com/gnutls/nettle/builds?scope=finished
regards, Nikos