spec §1.2 acceptance #7 calls for cargo build --examples --workspace 三 OS PASS in CI. Previously cargo build --workspace + cargo clippy --all-targets were considered equivalent (clippy with --all-targets compiles examples), but Phase B+C Gate codex review CONCERN-C1 said the explicit step should be in the workflow for unambiguous acceptance trace. Adds cargo build --examples --workspace --target <target> --release between cargo build --workspace and cargo test on host runners. Skipped on cross-arch check_only matrix (cross examples build is out of scope; test runners cover real arch builds). |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| FUNDING.yml | ||
| pull_request_template.md | ||