diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:46:33 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 19:46:33 -0600 |
| commit | 11cc253d6a844f655b9d8e0c1498415d1ee9e6d8 (patch) | |
| tree | 6be92f78ae1e190de8ae6c919499a83c059443e7 /Dockerfile | |
| parent | 5802ae011093ca4e138ad82fcd0ee14bbcc6f20f (diff) | |
| download | wormhole-11cc253d6a844f655b9d8e0c1498415d1ee9e6d8.tar.gz wormhole-11cc253d6a844f655b9d8e0c1498415d1ee9e6d8.tar.bz2 wormhole-11cc253d6a844f655b9d8e0c1498415d1ee9e6d8.zip | |
Update Dockerfile
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -9,6 +9,8 @@ RUN nix \ --option filter-syscalls false \ build +nix develop -c dune build + RUN mkdir /tmp/nix-store-closure RUN cp -R $(nix-store -qR result/) /tmp/nix-store-closure |