From f01b869a35bff1638625edd9f98c1fca017e98d9 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 19:46:59 -0600
Subject: Missing run

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Dockerfile')

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
-- 
cgit v1.2.3