Pass Polonius flags through shared Rust setup - #80

Merged

leynos merged 12 commits into

mainfrom

use-rustflags-shared-actions-passthrough

Aug 2, 2026

Commits on Aug 2, 2026

Pass Polonius flags through shared Rust setup
leynos
committed
53acf00
Preserve warnings in coverage Rust flags
leynos
committed
3630a25
Document the shared Rust flags boundary
leynos
committed
e766337
Diagram generated Rust flag propagation
leynos
committed
a9a090a
Harden Rust flags workflow contracts
leynos
committed
1b60f3f
Clarify the Rust flags capability boundary
leynos
committed
b2187d8
Expose Rust flag selection in workflow logs
leynos
committed
d0e1331
Verify effective Rust flags in workflow logs
leynos
committed
5f6a22b
Qualify the workflow pin assertion policy
leynos
committed
45795bf
Exercise both Rust flag branches through CI
leynos
committed
e19bc76
Align act assertions with the CI workflow
leynos
committed
e80c1df
Normalize the rebased Polonius contracts
leynos
committed
ff3b8c5