Repository navigation

[ci] Reduce job count and skip duplicate PR runs - #1444

Merged

Simn merged 2 commits into

Oct 30, 2026

Merged

[ci] Reduce job count and skip duplicate PR runs#1444
Simn merged 2 commits into
masterfrom
ci-reduce-jobs

Commits on Oct 30, 2026
- [ci] Reduce job count and skip duplicate PR runs
  
  Simn
  and
  claude
  committed
  1b5e2b0
- [ci] Fix shell for cppia and suite jobs, address review
  
  Simn
  and
  claude
  committed
  d44fad5