From 9c63c1ecb01cac702947119b1149603239aefb8f Mon Sep 17 00:00:00 2001 From: vados Date: Mon, 11 Dec 2023 09:04:09 +0900 Subject: [PATCH] fix(infra): cargo install install in docker image Signed-off-by: vados --- infra/docker/ci.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infra/docker/ci.Dockerfile b/infra/docker/ci.Dockerfile index 2b963dd..3e20599 100644 --- a/infra/docker/ci.Dockerfile +++ b/infra/docker/ci.Dockerfile @@ -74,4 +74,4 @@ RUN su idkit -c "cargo install cargo-pgrx@0.11.0" RUN su idkit -c "cargo pgrx init --pg15 download" # Install development/build/testing deps -RUN su idkit -c "cargo install -y just sccache cargo-cache cargo-get cargo-set-version" +RUN su idkit -c "cargo install just sccache cargo-cache cargo-get cargo-set-version"