Pin the image for building Verus (#245)

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Sep 7, 2023 · 6461db2 · 6461db2
1 parent 1ee7031
commit 6461db2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docker/controller/Dockerfile b/docker/controller/Dockerfile
@@ -7,6 +7,8 @@ SHELL ["/bin/bash", "-c"]
 
 COPY . .
 
+RUN apt install -y pkg-config libssl-dev
+
 RUN VERUS_DIR=/verus ./build.sh ${APP}_controller.rs --no-verify --time -o controller
 
 # =============================================================================

diff --git a/docker/verus/Dockerfile b/docker/verus/Dockerfile
@@ -1,4 +1,4 @@
-FROM rust:latest as builder
+FROM rust:1.72.0-slim-bullseye as builder
 
 WORKDIR /