uv sync (for rich)

a16z · Dec 4, 2024 · 756e6ec · 756e6ec
1 parent c1368ef
commit 756e6ec
Show file tree

Hide file tree

Showing 2 changed files with 48 additions and 2 deletions.
diff --git a/packages/halmos/Dockerfile b/packages/halmos/Dockerfile
@@ -16,9 +16,10 @@ ENV PATH="/halmos/bin:$PATH" \
     UV_LINK_MODE=copy
 
 # Install halmos, assuming it is checked out in the current host directory
+# --locked is used to avoid updating uv.lock, and instead fails if the lockfile is out of date
 RUN --mount=type=bind,source=../..,target=/src,readonly=false \
     cd /src && \
-    uv sync --frozen --extra dev --no-editable
+    uv sync --locked --extra dev --no-editable
 
 # Set a nicer prompt
 ENV IMAGE_NAME=halmos

diff --git a/uv.lock b/uv.lock