aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 19:46:59 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 19:46:59 -0600
commitf01b869a35bff1638625edd9f98c1fca017e98d9 (patch)
tree9ff278d82e7405f94ca24801dbe836df9c1c35e7
parent11cc253d6a844f655b9d8e0c1498415d1ee9e6d8 (diff)
downloadwormhole-f01b869a35bff1638625edd9f98c1fca017e98d9.tar.gz
wormhole-f01b869a35bff1638625edd9f98c1fca017e98d9.tar.bz2
wormhole-f01b869a35bff1638625edd9f98c1fca017e98d9.zip
Missing run
Diffstat (limited to '')
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index f45f0eb..a4b1a82 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,7 +9,7 @@ RUN nix \
--option filter-syscalls false \
build
-nix develop -c dune build
+RUN nix develop -c dune build
RUN mkdir /tmp/nix-store-closure
RUN cp -R $(nix-store -qR result/) /tmp/nix-store-closure