From fa7bfcdb1c0e63db8f2712716eea0eb5c5f9b020 Mon Sep 17 00:00:00 2001 From: Raul Jordan Date: Tue, 16 Jul 2024 10:01:13 -0500 Subject: [PATCH] edit --- check/src/docker.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check/src/docker.rs b/check/src/docker.rs index 92dae81..7170d5b 100644 --- a/check/src/docker.rs +++ b/check/src/docker.rs @@ -49,8 +49,8 @@ fn create_image(version: &str) -> Result<()> { RUN rustup toolchain install {} && rustup default {} RUN apt-get update && apt-get install -y git RUN git clone https://github.com/offchainlabs/cargo-stylus.git /cargo-stylus - RUN git checkout proper-program-verification WORKDIR /cargo-stylus + RUN git checkout proper-program-verification RUN ./install.sh ", version,