diff --git a/build.Dockerfile b/build.Dockerfile
index 0d8e1427bde6feb387b4f83dc77a18e90e67ed3c..45a4b0d44c75116ac5038b8e42cd7a2744766183 100644
--- a/build.Dockerfile
+++ b/build.Dockerfile
@@ -24,6 +24,7 @@ COPY --chown=tezos:nogroup script-inputs/dev-executables tezos/script-inputs/
 COPY --chown=tezos:nogroup dune tezos
 COPY --chown=tezos:nogroup scripts/version.sh tezos/scripts/
 COPY --chown=tezos:nogroup src tezos/src
+COPY --chown=tezos:nogroup irmin tezos/irmin
 COPY --chown=tezos:nogroup etherlink tezos/etherlink
 COPY --chown=tezos:nogroup tezt tezos/tezt
 COPY --chown=tezos:nogroup opam tezos/opam