From 46c52862fa77d8a55bf2ed4776bdb730ada2ac18 Mon Sep 17 00:00:00 2001
From: David Leins <dleins@techfak.uni-bielefeld.de>
Date: Fri, 8 Nov 2024 13:29:58 +0100
Subject: [PATCH] gh: enable ci for develop branch

---
 .github/workflows/ci.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 23e69516..9aedea7f 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -6,6 +6,7 @@ on:
   push:
     branches:
       - noetic-devel
+      - develop
 
 permissions:
   contents: read