From 562f3eaacc03f12de12b7414911a4d070a1a15a7 Mon Sep 17 00:00:00 2001
From: Simon Schmid <mail@sschmid.com>
Date: Sat, 17 Dec 2022 19:34:09 +0100
Subject: [PATCH] Add develop branch for ci builds

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ea3ca7fd1..37eea5f40 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [ main ]
+    branches: [ main, develop ]
   pull_request:
-    branches: [ main ]
+    branches: [ main, develop ]
 
 jobs:
   build: