diff --git a/Dockerfile b/Dockerfile
index e9b637c6..3d1cc2e6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -8,7 +8,7 @@ RUN apt-get update && apt-get install -y \
     build-essential \
     opam \
     mold
-RUN opam init --auto-setup --compiler=4.14.1 --disable-sandboxing -vvv
+RUN opam init --auto-setup --compiler=4.14.1 --disable-sandboxing -vvv || df -h
 
 RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | \
     sh -s -- -y --default-toolchain=nightly