Skip to content

Trigger CI and CodeQL on PRs targeting develop too - #1

Merged
EarMaster merged 1 commit into
mainfrom
chore/ci-trigger-develop
Aug 4, 2026
Merged

EarMaster merged 1 commit into
mainfrom
chore/ci-trigger-develop

Commits

  1. Commits on Aug 4, 2026