Tianyi Cui da5a1fc811 ci: separate master serial and PR jobs ...

Skipped matrix jobs never expand matrix display values, so let GitHub use stable job identifiers. Bind optimized jobs to pull requests and the three serial references to master pushes.

2026-07-22 18:17:06 +08:00

..

workflows

ci: separate master serial and PR jobs

2026-07-22 18:17:06 +08:00

AGENTS.md

docs(windows): clarify portability rules

2026-07-18 13:03:44 +08:00