From f6602df028087cde88795d009fbb46363b5ac0ea Mon Sep 17 00:00:00 2001
From: Gijsdeman <github@deman.dev>
Date: Sat, 2 Nov 2024 21:28:51 +0100
Subject: [PATCH] ci(docker-build): automatized docker build and push

This is only meant for non-releases, for example, hotfixes.
---
 .github/workflows/docker-build.yaml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .github/workflows/docker-build.yaml

diff --git a/.github/workflows/docker-build.yaml b/.github/workflows/docker-build.yaml
new file mode 100644
index 0000000..64a1b64
--- /dev/null
+++ b/.github/workflows/docker-build.yaml
@@ -0,0 +1,12 @@
+name: Docker build
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  dockerize:
+    uses: GEWIS/actions/.github/workflows/docker-build.yml@v0.0.1
+    with:
+      projects: '["."]'