diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-18 12:05:14 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-18 12:05:14 +0800 |
| commit | 7ffe7fae5356729be2a4ff8075e0e7351668579b (patch) | |
| tree | 8681c2df67170aafb52156444d67c7c2eb40b142 /.github | |
| parent | 346cad57a9835347cbc82aacce15a910a87e1783 (diff) | |
docs: update CI documentation for new pipeline structurewip/new-mingling-ci
Update contributor and dev docs to reflect the new `mingling_ci` crate,
`ci.py` orchestration script, and subcommand-based CI workflow.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions
