Merge pull request #455 from fuzzland/fix-ci-build-docker-error

Fix: build docker image failed
fuzzland · Apr 3, 2024 · 8f0cf0e · 8f0cf0e
2 parents bd18dca + 040e32d
commit 8f0cf0e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -19,6 +19,7 @@ FROM build_environment as builder
 WORKDIR /builder
 
 COPY Cargo.toml .
+COPY Cargo.lock .
 COPY rust-toolchain.toml .
 COPY src ./src
 COPY benches ./benches