From dedf6127d018dba775a56153cc87d31009ae0610 Mon Sep 17 00:00:00 2001
From: Iurie Nistor <iuriehn@gmail.com>
Date: Sat, 20 Jan 2024 11:08:05 +0200
Subject: [PATCH] add devel branch to pipeline

---
 .github/workflows/gnulinux.yml | 1 +
 .github/workflows/windows.yml  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/gnulinux.yml b/.github/workflows/gnulinux.yml
index 4566adb..b59fb9d 100644
--- a/.github/workflows/gnulinux.yml
+++ b/.github/workflows/gnulinux.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - devel
     tags:
       - '*'
 
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index a5ca6d1..59ea6b4 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - devel
     tags:
       - '*'