From 3bc18a5adf0fc0d1bc0c79a088b9aae2ea702a8b Mon Sep 17 00:00:00 2001
From: Matthew Jackson <1085847+MattJackson@users.noreply.github.com>
Date: Fri, 31 Jul 2026 18:22:00 -0700
Subject: [PATCH] ci: also run on dev (push + PR), not just main

Part of the org-wide dev/main release-cycle standardization: dev is now
where work lands and CI must actually run there, not just on main.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9a1e131..273eaf7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@ name: CI
 
 on:
   push:
-    branches: [main]
+    branches: [main, dev]
   pull_request:
 
 env: