Repository navigation

Only require two approvals for changes to `doc/`, `library/` or `verifast-proofs/` - #351

Merged

carolynzech merged 3 commits into

model-checking:mainfrom

carolynzech:approval-workflow

May 8, 2025

Merged

Only require two approvals for changes to `doc/`, `library/` or `verifast-proofs/`#351
carolynzech merged 3 commits into
model-checking:mainfrom
carolynzech:approval-workflow

Commits on May 7, 2025
- Require 2 approvals iff library/ files are modified
  Carolyn Zech
  committed
  5f4eafc
- also require two approvals for verifast changes
  Carolyn Zech
  committed
  8287404
Commits on May 8, 2025
- require two approvals for documentation changes
  Carolyn Zech
  committed
  e616758