Re: [PATCH libdrm] add gitlab-ci builds of libdrm