From 040876240354db93e808f4cb4857b9043ee86906 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Mon, 13 Apr 2026 16:56:06 +0200 Subject: [PATCH] Ignore large build folders in Docker builds On my system `docker build` uploads about 2GB of data from Dune's `_build` and OPAM's `_opam` folder which takes a long time and isn't needed as the Docker image builds the code from scratch. This PR includes it so it only takes a few seconds to start building the container. Signed-off-by: Marek Kubica --- .dockerignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.dockerignore b/.dockerignore index 3253b19e6..fe230be96 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1 +1,3 @@ Dockerfile* +/_opam/ +/_build/