From 2acdf3b360b5da18552c336905cc12f55313596f Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 4 Aug 2026 11:14:58 +0000 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A7=20ci:=20run=20the=20pipeline=20on?= =?UTF-8?q?=20develop=20as=20well=20as=20main?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The PR now targets develop, which was branched from main. The workflow only triggered on push and pull_request against main, so nothing would have run on develop or on any future PR into it. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01SAcqrz3FcadkYr3xG32CjK --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f504770..a581e16 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,9 @@ name: CI on: push: - branches: [ main ] + branches: [ main, develop ] pull_request: - branches: [ main ] + branches: [ main, develop ] jobs: verify: