Repository navigation

ci: pick tests from the diff for PRs to main; explicit full triggers - #311

Merged

PHPCraftdream merged 1 commit into

mainfrom

jb/ci-tier1-main

Oct 30, 2026

Merged

ci: pick tests from the diff for PRs to main; explicit full triggers#311
PHPCraftdream merged 1 commit into
mainfrom
jb/ci-tier1-main

Commits on Oct 30, 2026
- ci: pick tests from the diff for PRs to main; explicit full triggers
  
  PHPCraftdream
  and
  claude
  committed
  1308b63