Draft: production coding runs and benchmark-driven hardening #165
ci.yml
on: pull_request
Verify pre-Cargo policy
6s
Licenses and dependency policy
3m 30s
Locked Verus workspace
30m 38s
Matrix: rust