Also extract it

vmcj · vmcj · commit 87e84d52fa96 · 2025-12-12T11:40:11.000+01:00
diff --git a/docker-gitlabci/Dockerfile b/docker-gitlabci/Dockerfile
@@ -65,3 +65,4 @@ RUN mkdir -p /run/php \
  && rm /etc/php/*/fpm/pool.d/www.conf
 
 COPY ["domjudge-main/chroot.tar", "/"]
+ADD ["domjudge-main/chroot.tar", "/"]

Original file line number	Diff line number	Diff line change
`@@ -65,3 +65,4 @@ RUN mkdir -p /run/php \`
`65`	`65`	`&& rm /etc/php/*/fpm/pool.d/www.conf`
`66`	`66`
`67`	`67`	`COPY ["domjudge-main/chroot.tar", "/"]`
	`68`	`+ADD ["domjudge-main/chroot.tar", "/"]`