Move ci readme to avoid it shown by default on github#180
Conversation
There was a problem hiding this comment.
Copilot wasn't able to review any files in this pull request.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
The "High-level flow" list implies plan-build-matrix runs before format, but in .github/workflows/build-targets.yml those jobs have no dependency and will run in parallel. Also get-hosts-check/flake-check depend on plan-build-matrix (not format), and build depends on both format and the heavy checks. Please update this section to reflect the actual job dependency graph so readers don't assume a strict sequential order.
| For pull requests, CI jobs are wired as: | |
| - `plan-build-matrix` and `format` start immediately and run in parallel. | |
| - Heavy jobs run only when the PR is not docs-only: | |
| - `get-hosts-check` (depends on `plan-build-matrix`) | |
| - `flake-check` (depends on `plan-build-matrix`) | |
| - `build` matrix (scoped dynamically; depends on `format`, `get-hosts-check`, and `flake-check`) | |
| - `ci-success` runs last and depends on completion of all required jobs above. |
There was a problem hiding this comment.
Repository README.md currently points CI documentation to .github/README.md, but this PR adds .github/README-internal.md instead, leaving the existing link broken. Either rename this file to .github/README.md (if acceptable) or update the root README link in the same PR so CI docs remain discoverable.
1 participant
No description provided.