Merge pull request #25 from c4dt/fix-docker-ci

chore: fix Docker image build CI
dedis · Oct 5, 2023 · 739a78b · 739a78b
2 parents 6b6ddc4 + 956fb29
commit 739a78b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-docker.yml b/.github/workflows/build-docker.yml
@@ -41,7 +41,7 @@ jobs:
         uses: docker/build-push-action@v2
         with:
           context: .
-          target: production
+          target: build
           file: Dockerfiles/Dockerfile.dela
           platforms: linux/amd64
           push: true