From 4c5e33b6bd5cc1b396e25efef789b1368618defc Mon Sep 17 00:00:00 2001
From: Matjaz Verbole <verbole@gmail.com>
Date: Thu, 6 Jun 2024 09:13:23 +0200
Subject: [PATCH] Add development branch into CI

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

diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
index dde4a7c9..7e537ef3 100644
--- a/.github/workflows/pr.yaml
+++ b/.github/workflows/pr.yaml
@@ -2,7 +2,7 @@ name: PR CI
 
 on:
   pull_request:
-    branches: [ main ]
+    branches: [ main, development ]
 
 permissions:
   contents: read