docs: add area: zk and mainnet labels to label taxonomy (#1255) #837
This workflow is awaiting approval from a maintainer in #1307
Richiey1
This workflow is awaiting approval from a maintainer in #1307
rust.yml
on: pull_request
Build & Test
Cargo Deny Check
Coverage Gate (≥ 80% per crate)
Property-Based Tests (proptest)
Rule Engine Orchestration (integration/e2e)
SARIF Snapshot Tests
Z3 Backend Module Boundaries (S011)