From 17634564bf9b80a4f649a85d3f7b638ca9cd939c Mon Sep 17 00:00:00 2001
From: Michael Vasseur <michael.vasseur@vu.nl>
Date: Fri, 5 Jan 2024 22:00:10 +0100
Subject: [PATCH] [Debug] See if this is a rights issue

Locally it does work through WSL, so the problem is most likely with the
gitlab runners.
---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 40e2d3a4..c4003145 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -77,9 +77,10 @@ check-pr-contributor:
   <<: *job_check-pr
   <<: *matrix_contributor_template
   script:
+    - whoami
     - cd docker-contributor
     - docker pull $CONTRIBUTOR_IMAGE:${ARCH} || true
-    - docker build --build-arg ARCH=${ARCH}/ .
+    - docker build --privileged --build-arg ARCH=${ARCH}/ .
 
 release-contributor-arch:
   <<: *registry_dockerhub