???

mt-caret · Feb 16, 2024 · 5e35329 · 5e35329
1 parent f6f3296
commit 5e35329
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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