From 33ac7871b0a23c3092d42d5d5bc1ad73812ebe2a Mon Sep 17 00:00:00 2001
From: PaulaKramer <s8ppkram@stud.uni-saarland.de>
Date: Thu, 15 Feb 2024 16:34:04 +0100
Subject: [PATCH] Let CI run on dev branch

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 05ea6923..a4d1123d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,6 +8,7 @@ on:
   pull_request:
     branches:
       - "master"
+      - "dev"
   schedule:
     # Run a cron job once daily, weekdays only
     - cron: "0 3 1,15 * *"