Repository navigation

CI: run pull requests once - #12

Merged

cedricvogel-leo merged 1 commit into

mainfrom

chore/ci-trigger

Oct 25, 2026

Merged

CI: run pull requests once#12
cedricvogel-leo merged 1 commit into
mainfrom
chore/ci-trigger

Commits on Oct 25, 2026
- CI: run a pull request once, and main after the merge
  
  cedricvogel-leo
  and
  claude
  committed
  360e6f0