From 5f5902149d8bd3b9b248b3a1fc854348f5ce2643 Mon Sep 17 00:00:00 2001 From: Nico Wiedemann Date: Tue, 4 Aug 2026 02:11:25 +0200 Subject: [PATCH] Trigger CI and CodeQL on PRs targeting develop too Now that a develop branch exists, PRs into it should get the same build/test/lint/CodeQL coverage as PRs into main. Co-Authored-By: Claude Sonnet 5 --- .github/workflows/ci.yml | 2 +- .github/workflows/codeql.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3923a82..91b1b37 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,7 @@ name: CI on: pull_request: - branches: [main] + branches: [main, develop] jobs: detect: diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 7587019..dc3fa2d 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -2,7 +2,7 @@ name: CodeQL on: pull_request: - branches: [main] + branches: [main, develop] schedule: - cron: '0 4 * * 1'