build: fix `make release-docker` (#918)

PR
- https://github.com/zrepl/zrepl/pull/913

didn't update the `release-docker` flow to use `uv`, thereby breaking
it.

## Changes

- Create `.uv-version` file to centralize UV version between Dockerfile
and CircleCI
- Update build container to use `uv`

While at it, make life with the build container better:
- Create `zrepl_build` user in the build container as same UID/GID as
the caller of `make release-docker`
- Allow Ctrl-C to cancel `make release-docker` in interactive shells

This commit is contained in:

Christian Schwarz

2026-02-10 19:13:03 +01:00

committed by

GitHub

parent 888283c06f

commit ed4547166a

4 changed files with 37 additions and 20 deletions

.uv-version

View File

				`@@ -0,0 +1 @@`
				`0.9.30`

build: fix make release-docker (#918)

build: fix `make release-docker` (#918)