Dockerfile: fix stellar cli installation instructions

runtimeverification · Oct 22, 2024 · cfe7d68 · cfe7d68
1 parent 9225b5a
commit cfe7d68
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
@@ -29,5 +29,4 @@ RUN wget -O rustup.sh https://sh.rustup.rs && \
 
 ENV PATH="/home/user/.cargo/bin:${PATH}"
 
-RUN cargo install --locked cargo-binstall
-RUN cargo binstall -y stellar-cli
+RUN cargo install --locked stellar-cli --features opt