From 9f5741bf27d4aa9b58676898e666674fe536627a Mon Sep 17 00:00:00 2001
From: Marie <marie@kaifa.ch>
Date: Wed, 8 Nov 2023 19:42:37 +0100
Subject: [PATCH] upd(ci): build using the dev dockerfile
---
.github/workflows/docker-develop.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/docker-develop.yml b/.github/workflows/docker-develop.yml
index e5e8392d78..22b08c4441 100644
--- a/.github/workflows/docker-develop.yml
+++ b/.github/workflows/docker-develop.yml
@@ -49,6 +49,7 @@ jobs:
with:
builder: ${{ steps.buildx.outputs.name }}
context: .
+ file: "{{context}}/Dockerfile.development"
push: true
platforms: ${{ steps.buildx.outputs.platforms }}
provenance: false