From c8d3d9488298c9bc132b318326369c0ef5fb5425 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Argentina=20Ortega=20S=C3=A1inz?=
 <argenos@users.noreply.github.com>
Date: Mon, 20 Jan 2025 16:13:08 +0100
Subject: [PATCH] Add devel branch to docker workflow

---
 .github/workflows/docker.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml
index 4ec54d6..f29b5f9 100644
--- a/.github/workflows/docker.yaml
+++ b/.github/workflows/docker.yaml
@@ -4,7 +4,7 @@ name: Create and publish a Docker image
 # Configures this workflow to run every time a change is pushed to the branch called `release`.
 on:
   push:
-    branches: ['main', 'docker']
+    branches: ['main', 'docker', 'devel']
     tags:
       - v*