From 3b648f46c78873a9198d32295169fc4b64725c3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Arnaud=20H=C3=A9ritier?= Date: Fri, 28 Aug 2026 21:42:24 +0000 Subject: [PATCH] ci: run ci and codeql on pull requests to any base branch The pull_request branches: [ main ] filter matches the PR's base branch, not its head. Stacked PRs (base is a feature branch, not main) never trigger ci or codeql at all, so lint, build-and-test and license-check -- the three checks the repo ruleset requires to merge into main -- never run or report on them. Drop the branches: filter from the pull_request trigger in both workflows; push triggers are untouched. --- .github/workflows/ci.yml | 1 - .github/workflows/codeql.yml | 1 - 2 files changed, 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d706de572..56fc9161d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,7 +13,6 @@ on: branches: [ main ] tags: [ "v*" ] pull_request: - branches: [ main ] jobs: lint: diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 846572c05..23945626d 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -13,7 +13,6 @@ on: push: branches: [ main ] pull_request: - branches: [ main ] schedule: - cron: '23 14 * * 1'