diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:46:59 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:46:59 -0600 |
| commit | f01b869a35bff1638625edd9f98c1fca017e98d9 (patch) | |
| tree | 9ff278d82e7405f94ca24801dbe836df9c1c35e7 /Dockerfile | |
| parent | 11cc253d6a844f655b9d8e0c1498415d1ee9e6d8 (diff) | |
| download | wormhole-f01b869a35bff1638625edd9f98c1fca017e98d9.tar.gz wormhole-f01b869a35bff1638625edd9f98c1fca017e98d9.tar.bz2 wormhole-f01b869a35bff1638625edd9f98c1fca017e98d9.zip | |
Missing run
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |