Hi, This patch converts nettle's CI to use gitlab's infrastructure. Red Hat's specific runners currently used for CI will be phased out, so it makes sense to switch to gitlab.com shared infrastructure. An other advantage is that more (Linux) systems can be checked due to the fact that this CI is based on docker.
An example run can be seen at: https://gitlab.com/gnutls/nettle/pipelines/4146073
regards, Nikos