edit

OffchainLabs · Jul 16, 2024 · fa7bfcd · fa7bfcd
1 parent f19f368
commit fa7bfcd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,