From 284c811c1e4cd4efa6d75f0fbf6cd6b145d3905a Mon Sep 17 00:00:00 2001 From: Jack Punter Date: Tue, 24 Feb 2026 15:41:48 +0000 Subject: [PATCH] Add develop branch to pull request workflow --- .github/workflows/pr_build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml index 6eccf1e2..7db492fe 100644 --- a/.github/workflows/pr_build.yml +++ b/.github/workflows/pr_build.yml @@ -4,6 +4,7 @@ on: pull_request: branches: - master + - develop jobs: build_4cc: