diff --git a/.dockerignore b/.dockerignore index 3253b19e6..fe230be96 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1 +1,3 @@ Dockerfile* +/_opam/ +/_build/