Skip to content

Commit

Permalink
remove temporary uv update
Browse files Browse the repository at this point in the history
  • Loading branch information
karmacoma-eth committed Dec 4, 2024
1 parent 8acf846 commit 906a059
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions packages/halmos/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,6 @@ ENV PATH="/halmos/bin:$PATH" \
UV_PYTHON_DOWNLOADS=never \
UV_LINK_MODE=copy

COPY --from=ghcr.io/astral-sh/uv:latest /uv /uvx /bin/

# Install halmos, assuming it is checked out in the current host directory
# we don't specify --frozen or --locked because we don't check in uv.lock
RUN --mount=type=bind,source=../..,target=/src,readonly=false \
Expand Down

0 comments on commit 906a059

Please sign in to comment.