From 125887137e50c5cfa5a46758285426f4ee1044ef Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 23 Jan 2025 11:10:16 -0500 Subject: [PATCH] Fix crux-mir Docker image entrypoint This fixes an oversight introduced in #1265 where the location of `cargo` was moved to `/home/crux-mir/.cargo/bin/cargo` in the `crux-mir` Docker image, but the image entrypoint was not updated accordingly. Fixes #1276. --- .github/Dockerfile-crux-mir | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/Dockerfile-crux-mir b/.github/Dockerfile-crux-mir index 147654193..3d8d90fa4 100644 --- a/.github/Dockerfile-crux-mir +++ b/.github/Dockerfile-crux-mir @@ -92,4 +92,4 @@ ENV LANG=C.UTF-8 \ PATH=/home/crux-mir/.cargo/bin:$PATH \ CRUX_RUST_LIBRARY_PATH=/crux-mir/rlibs -ENTRYPOINT ["/usr/local/bin/cargo", "crux-test"] +ENTRYPOINT ["/home/crux-mir/.cargo/bin/cargo", "crux-test"]