Part of #199 (Phase 3, CI). All file:line references are pinned to origin/main at 9da9b9f.
Today .github/workflows/ci.yml runs cargo fmt --check, cargo test (default features only), facade README doctests, coverage, and cargo doc. Consequences measured in the audit:
Part of #199 (Phase 3, CI). All file:line references are pinned to
origin/mainat 9da9b9f.Today
.github/workflows/ci.ymlrunscargo fmt --check,cargo test(default features only), facade README doctests, coverage, andcargo doc. Consequences measured in the audit:The clippy component is installed (
ci.yml:32) and never run.No feature matrix:
parallelis never compiled in CI, so every parallel branch (including the whole parallel uninit family) is untested; a no-default-features lane is also missing. (Theblaslanes concern leaves with the einsum2 retirement; until Phase 2 lands, note that the Add safe uninitialized GEMM overwrite paths #196/Fix uninitialized GEMM parallel bounds #197 uninit GEMM code is never compiled in CI because the default backend is faer.)The doc job passes with broken intra-doc links (no
-D warnings).Add matrix lanes: default,
parallel, no-default-features (andparalleltogether withsimdoff).Run
cargo clippy --workspacewith a deny policy consistent with the repository rules.Set
RUSTDOCFLAGS: -D warningson the doc job.Keep the per-file coverage gate as is.