From f5730f29a31e6fb3471dde64561eb19d75b4abab Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 6 Apr 2026 14:47:18 -0400 Subject: [PATCH] details --- deps/Makefile.ci | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/Makefile.ci b/deps/Makefile.ci index 559e426b..4b639198 100644 --- a/deps/Makefile.ci +++ b/deps/Makefile.ci @@ -26,7 +26,7 @@ build-ci-docker: $(CI_BUILD) --build-arg OCAML_VERSION=5.4.1 --build-arg "BASE_PACKAGES=$(CI_PACKAGES_54)" -t $(CI_REGISTRY)/ci-5.4:latest . CI_NON_EIO_PACKAGES = opentelemetry,opentelemetry-client,opentelemetry-lwt,opentelemetry-cohttp-lwt,opentelemetry-client-ocurl,opentelemetry-client-ocurl-lwt,opentelemetry-client-cohttp-lwt,opentelemetry-logs -CI_RUN = docker run --rm -v $(PWD):/root/w -w /root/w +CI_RUN = docker run --pull=never --rm -t -v $(PWD):/src:z -w /src run-ci: @for v in $(CI_VERSIONS); do \ @@ -38,7 +38,7 @@ run-ci: $(CI_RUN) $(CI_REGISTRY)/ci-5.4:latest \ opam exec -- dune build @install -p opentelemetry-client-cohttp-eio -upload-ci-docker: build-ci-docker +upload-ci-docker: @for v in $(CI_VERSIONS); do \ docker push $(CI_REGISTRY)/ci-$$v:latest ; \ done || ( echo "to login: docker login ghcr.io -u " ; exit 1 )