Skip to content

ci: cut a PR push from ~15 min of CI to ~2.5 - #8101

Merged
saddlepaddle merged 36 commits into
mainfrom
saddlepaddle/ci-speedups
Oct 4, 2026
Merged

ci: cut a PR push from ~15 min of CI to ~2.5#8101
saddlepaddle merged 36 commits into
mainfrom
saddlepaddle/ci-speedups

Commits

  1. Commits on Oct 3, 2026

  2. Commits on Oct 4, 2026