summaryrefslogtreecommitdiff
path: root/.github/workflows/docker-develop.yml
diff options
context:
space:
mode:
authorMarie <marie@kaifa.ch>2023-11-08 19:42:37 +0100
committerGitHub <noreply@github.com>2023-11-08 19:42:37 +0100
commit9f5741bf27d4aa9b58676898e666674fe536627a (patch)
treec6b2d51d804459d1050c6c8820d2205b3c6b2746 /.github/workflows/docker-develop.yml
parentadd: dev dockerfile (diff)
downloadsharkey-9f5741bf27d4aa9b58676898e666674fe536627a.tar.gz
sharkey-9f5741bf27d4aa9b58676898e666674fe536627a.tar.bz2
sharkey-9f5741bf27d4aa9b58676898e666674fe536627a.zip
upd(ci): build using the dev dockerfile
Diffstat (limited to '.github/workflows/docker-develop.yml')
-rw-r--r--.github/workflows/docker-develop.yml1
1 files changed, 1 insertions, 0 deletions
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