From 21cef4521247eed7497b7d2bc3f43d26e07a8c7d Mon Sep 17 00:00:00 2001
From: joshua-stone <joshua.gage.stone@gmail.com>
Date: Mon, 6 Feb 2023 22:04:08 -0500
Subject: [PATCH] feat: Add devel branch to pull request process (#23)

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e166311..0e4e60e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ on:
   pull_request:
     branches:
       - main
+      - devel
   schedule:
     - cron: '20 20 * * *'  # 8:20pm everyday
   push: