Skip to content

Commit 36fb505

Browse files
committed
Allow explicit failure
1 parent 7fe3110 commit 36fb505

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docker-gitlabci/Dockerfile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ RUN wget $GITHUBDICTIONARY -O $CODESPELLDICTLOCATION
6464
RUN mkdir -p /run/php \
6565
&& rm /etc/php/*/fpm/pool.d/www.conf
6666

67-
RUN du -sh /*
67+
RUN du -sh /* || true
6868

6969
# Cache the chroot
7070
RUN wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip \
@@ -73,4 +73,4 @@ RUN wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip \
7373
&& ./dj_make_chroot \
7474
&& cd ../.. && rm -rf domjudge-main
7575

76-
RUN du -sh /*
76+
RUN du -sh /* || true

0 commit comments

Comments
 (0)